Theorem PiTensorProduct.lift_comp_reindex_symm

Modification history