mathlib
a6078202 - feat(category_theory/equivalence): if two functors F and G are isomorphic, F is an equivalence iff G is (#12162)

Commit

3 years ago

feat(category_theory/equivalence): if two functors F and G are isomorphic, F is an equivalence iff G is (#12162) Co-authored-by: Joël Riou <37772949+joelriou@users.noreply.github.com>

Author

joelriou

Parents

9a17b556

mathlib a6078202 - feat(category_theory/equivalence): if two functors F and G are isomorphic, F is an equivalence iff G is (#12162)

mathlib
a6078202 - feat(category_theory/equivalence): if two functors F and G are isomorphic, F is an equivalence iff G is (#12162)