Def category_theory.functor.of
Modification history
2020-03-20 21:22
src/category_theory/functorial.lean
feat(category_theory): unbundled functors and lax monoidal functors (#2193) …
Added category_theory.functor.ofView on Github →2020-03-11 10:15
src/category_theory/punit.lean
chore(category_theory): remove functor.of (#2127) …
Deleted category_theory.functor.ofView on Github →2018-12-21 04:05
category_theory/punit.lean
fix(category_theory/punit): fix regression (#550)
Added category_theory.functor.ofView on Github →