Theorem Submodule.neg_eq_self

Modification history