Theorem CategoryTheory.MonoidalCategory.unitors_inv_equal

Modification history

2023-05-29 14:57
Mathlib/CategoryTheory/Monoidal/CoherenceLemmas.lean
feat: port CategoryTheory.Monoidal.CoherenceLemmas (#4359) …
Added CategoryTheory.MonoidalCategory.unitors_inv_equalView on Github →