mathlib3
8d45ccb7 - feat(category_theory/bifunctor): simp lemmas (#867)

Commit

6 years ago

feat(category_theory/bifunctor): simp lemmas (#867) * feat(category_theory/bifunctor): simp lemmas * remove need for @, thanks Kenny and Chris!

References

Author

kim-em

Committer

mergify[bot]

Parents