Commit 2022-02-21 21:06 a6078202
View on Github →feat(category_theory/equivalence): if two functors F and G are isomorphic, F is an equivalence iff G is (#12162)
feat(category_theory/equivalence): if two functors F and G are isomorphic, F is an equivalence iff G is (#12162)