Def category_theory.under.limit
Modification history
2021-01-12 07:23
src/category_theory/limits/over.lean
chore(category_theory/limits/over): generalise, golf and document over limits (#5674) …
Deleted category_theory.under.limitView on Github →2020-09-14 14:48
src/category_theory/limits/over.lean
chore(category_theory/*): make all forgetful functors use explicit arguments (#4139) …
Modified category_theory.under.limitView on Github →