Theorem PiTensorProduct.lift_reindex_symm

Modification history