P
Initializing...
Existence of an analytic logarithm $J_B$ with $\operatorname{Re} J_B = \log\|B\| - \log\|B(0)\|$ · Prove2Me