Theorem ZMod.nonsquare_of_jacobiSym_eq_neg_one

Modification history