Theorem ZModModule.neg_eq_self

Modification history