Theorem PiTensorProduct.map_comp_reindex_eq

Modification history