Uniqueness of the holomorphic Ahlfors–Hopf extremal on the disk
Uniqueness conjecture. If Φ^\hat{\Phi}Φ^ is holomorphic, then h^=identity\hat{h}=\operatorname{identity}h^=identity.
MathDB