Theorem Submodule.lTensorOne'_tmul

Modification history