Theorem PiTensorProduct.lift.unique'

Modification history