Theorem FiniteField.isSquare_two_iff

Modification history