Theorem FiniteField.exists_nonsquare

Modification history