Theorem ZMod.neg_eq_self_iff

Modification history