Theorem Submodule.mulLeftMap_eq_mulRightMap

Modification history