Theorem PiTensorProduct.map_reindex_symm

Modification history