Theorem Submodule.smul_closure_subset

Modification history