Theorem Submodule.rTensorOne'_tmul

Modification history