Theorem quadraticChar_neg_one_iff_not_isSquare

Modification history