Theorem Submodule.mulRightMap_apply_single

Modification history