Theorem Submodule.mapsTo_smul_closure

Modification history