Theorem Submodule.isCoatom_comap_iff

Modification history