Theorem Submodule.le_pow_toAddSubmonoid

Modification history