Commit 2020-10-23 04:31 f2793132
View on Github →feat(category_theory/yoneda): better simp lemmas for small yoneda (#4743) Gives nicer (d)simp lemmas for yoneda_sections_small.
feat(category_theory/yoneda): better simp lemmas for small yoneda (#4743) Gives nicer (d)simp lemmas for yoneda_sections_small.