Def category_theory.under
Modification history
2021-03-29 13:12
src/category_theory/over.lean
feat(category): structured arrows (#6830) …
Modified category_theory.underView on Github →2020-09-25 06:57
src/category_theory/over.lean
feat(category_theory/cofinal): cofinal functors (#4218)
Modified category_theory.underView on Github →2020-07-11 10:11
src/category_theory/comma.lean
chore(category_theory/comma): split into three files (#3358) …
Modified category_theory.underView on Github →2020-06-29 03:20
src/category_theory/comma.lean
chore(category_theory/punit): use discrete punit instead of punit (#3201) …
Modified category_theory.underView on Github →2020-03-11 10:15
src/category_theory/comma.lean
chore(category_theory): remove functor.of (#2127) …
Modified category_theory.underView on Github →2019-09-17 15:50
src/category_theory/comma.lean
fix(category_theory): require morphisms are in Type, again (#1412) …
Modified category_theory.underView on Github →2019-09-01 11:29
src/category_theory/comma.lean
chore(category_theory/notation): consistently use notation for functor.id (#1378) …
Modified category_theory.underView on Github →