Commit 2020-12-02 21:22 a84d7a71
View on Github →feat(category_theory/adjunction): adjunction to equivalence (#5189) Raise an adjunction to an equivalence
feat(category_theory/adjunction): adjunction to equivalence (#5189) Raise an adjunction to an equivalence