Theorem Submodule.rTensorOne_tmul_one

Modification history