Theorem Submodule.strictMono_comap_prod_map

Modification history