P
Initializing...
p. 3 — d(I, exp(iH)) ≤ ‖H‖ for Hermitian H · Prove2Me