Theorem Submodule.isCoatom_comap_or_eq_top

Modification history