P
Initializing...
Determinant of a Frobenius-normalised stable plane is integrally cyclotomic · Prove2Me