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






leanprover-community/mathlib,leanprover-community/mathlib