P
Initializing...
The `deg Φ`-th iterate of the Frobenius is the identity; · Prove2Me