mathlib
ed6eab01 - feat(category_theory/adjunction): simp adjunction defs (#5188)

Commit

5 years ago

feat(category_theory/adjunction): simp adjunction defs (#5188) Mark adjunction defs as `simps` and use the new lemmas to simplify some proofs

Author

b-mehta

Parents