Theorem Submodule.set_smul_eq_iSup

Modification history