Theorem Submodule.mulLeftMap_apply_single

Modification history