Theorem Algebra.TensorProduct.lift_tmul

Modification history