Theorem Submodule.sup_toAddSubgroup

Modification history