Theorem PiTensorProduct.reindex_trans

Modification history