Theorem FiniteField.isSquare_odd_prime_iff

Modification history