Theorem ZMod.ne_neg_self

Modification history