Theorem Submodule.iSup_eq_toSubmodule_range

Modification history