Def CategoryTheory.MonoidalCategory.delabTensorUnit
Modification history
2025-04-13 17:25
Mathlib/CategoryTheory/Monoidal/Category.lean
fix: remove notation hacks in monoidal categories (#24002) …
Deleted CategoryTheory.MonoidalCategory.delabTensorUnitView on Github →