mathlib
154d73dc - feat(category_theory/equivalence): equivalence of functor categories (#4940)

Commit

5 years ago

feat(category_theory/equivalence): equivalence of functor categories (#4940)

Author

b-mehta

b-mehta

Parents

Loading