Theorem PiTensorProduct.map_reindex

Modification history