Theorem Submodule.map_comap_eq_of_le

Modification history