Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2021-02-28 22:54
83bc6634
View on Github →
feat(category_theory/monoidal): skeleton of a monoidal category is a monoid (
#6444
)
Estimated changes
Created
src/category_theory/monoidal/skeleton.lean
added
def
category_theory.comm_monoid_of_skeletal_braided
added
def
category_theory.monoid_of_skeletal_monoidal