Theorem Submodule.comap_lt_comap_iff_of_surjective

Modification history