Theorem Submodule.mulLeftMap_apply

Modification history