Theorem Submodule.lTensorOne'_one_tmul

Modification history