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