Theorem Submodule.closure_le_toAddSubmonoid_span

Modification history