Commit 2025-06-16 16:23 db52f099

perf(CategoryTheory/Monoidal): change notations for tensor product of (iso)morphisms (#25922) Discussions in #22698 made apparent that overloading notations was having a performance hit. We obtain a small performance boost simply by changing notation for the tensor product of morphisms in monoidal categories from ⊗ to ⊗ₘ, and the tensor product of isomorphisms from ⊗ to ⊗ᵢ.