Theorem TensorProduct.lift_comp_comm_eq

Modification history