Theorem Submodule.mul_iSup

Modification history