Theorem Submodule.comap_coe_toLinearMap

Modification history