mathlib
e7db701e - feat(category/adjunction): missing simp lemmas (#3168)

Commit

5 years ago

feat(category/adjunction): missing simp lemmas (#3168) Just two missing simp lemmas. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

kim-em

Parents