Theorem PiTensorProduct.reindex_symm

Modification history