Theorem IsTensorProduct.lift_eq

Modification history