mathlib3

90740956 - chore(linear_algebra/pi_tensor_product): add reindex_reindex (#10336)