Theorem ZMod.isSquare_neg_one_iff

Modification history