Mathlib Changelog
v4
Changelog
About
Github
Theorem
CategoryTheory.FreeMonoidalCategory.mk_α_inv
Modification history
2023-05-03 13:39
Mathlib/CategoryTheory/Monoidal/Free/Basic.lean
feat: port CategoryTheory.Monoidal.Free.Basic (#2808)
Added
CategoryTheory.FreeMonoidalCategory.mk_α_inv
View on Github →