Theorem ZMod.isSquare_neg_one_of_dvd

Modification history