Theorem Submodule.comm_trans_lTensorOne

Modification history