Theorem FiniteField.isSquare_iff

Modification history