Theorem FiniteField.isSquare_of_char_two

Modification history