Theorem PiTensorProduct.lift.unique

Modification history