Theorem TensorProduct.directLimitRight_tmul_of

Modification history