Theorem TensorProduct.lift_compr₂

Modification history