Theorem Submodule.map_coe_toLinearMap

Modification history