Theorem PiTensorProduct.reindex_refl

Modification history