Theorem FiniteField.isSquare_neg_one_iff

Modification history