Theorem Submodule.comap_subtype_le_iff

Modification history