mathlib3
56e5aa74 - feat(category_theory/closed): currying rfl lemmas (#6754)

Commit

5 years ago

feat(category_theory/closed): currying rfl lemmas (#6754) Add `rfl` lemmas for currying

Author

b-mehta

Parents