Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-10-27 02:35 8a45d98f

View on Github →

chore(category_theory): remove superfluous lemma (#1614)

Estimated changes

Modified src/category_theory/category/default.lean

deleted theorem category_theory.category.assoc_symm

Modified src/category_theory/equivalence.lean

Modified src/category_theory/functor_category.lean

Modified src/category_theory/limits/limits.lean