mathlib3
1f65e42e - feat(category_theory/adjunction): reflective adjunction induces partial bijection (#7286)

Commit

4 years ago

feat(category_theory/adjunction): reflective adjunction induces partial bijection (#7286) Co-authored-by: Scott Morrison <scott.morrison@gmail.com>

Author

b-mehta

Parents