Theorem FiniteField.isSquare_neg_two_iff

Modification history