Theorem ZMod.nonsquare_iff_jacobiSym_eq_neg_one

Modification history