Theorem Submodule.lTensorOne_one_tmul

Modification history