Theorem Submodule.map_iSup_comap_of_sujective

Modification history