Theorem Submodule.neg_top

Modification history