Theorem PiTensorProduct.lift_symm

Modification history