mathlib
f2793132 - feat(category_theory/yoneda): better simp lemmas for small yoneda (#4743)

Commit

5 years ago

feat(category_theory/yoneda): better simp lemmas for small yoneda (#4743) Gives nicer (d)simp lemmas for yoneda_sections_small.

References

Author

b-mehta

Parents