mathlib
56ed5d78 - feat(category_theory/adjunction): mates (#5599)

Commit

5 years ago

feat(category_theory/adjunction): mates (#5599) Adds some results on the calculus of mates.

Author

b-mehta

Parents