P
Initializing...
An algebraic-closure exponent bound descends to the base field · Prove2Me