Theorem Submodule.mulLeftMap_eq_mulMap_comp

Modification history