Theorem Submodule.comap_map_sup_of_comap_le

Modification history