Theorem Submodule.mulRightMap_eq_mulMap_comp

Modification history