mathlib
a84d7a71 - feat(category_theory/adjunction): adjunction to equivalence (#5189)

Commit

5 years ago

feat(category_theory/adjunction): adjunction to equivalence (#5189) Raise an adjunction to an equivalence

Author

b-mehta

Parents