Theorem quadraticChar_eq_neg_one_iff_not_one

Modification history