Theorem Submodule.lTensorOne_tmul

Modification history