Theorem Submodule.iInf_comap_proj

Modification history