P
Initializing...
The asymptotic operator of a symmetric loop is self-adjoint · Prove2Me