Theorem Submodule.le_comap_single_pi

Modification history