Commit 2024-10-20 17:40 03a37e0b
View on Github →chore(LinearAlgebra/TensorProduct): fix duplication (#17912) This was unintentionally made in [#16776](https://github.com/leanprover-community/mathlib4/pull/16776) by myself.
chore(LinearAlgebra/TensorProduct): fix duplication (#17912) This was unintentionally made in [#16776](https://github.com/leanprover-community/mathlib4/pull/16776) by myself.