Mathlib v3 is deprecated. Go to Mathlib v4

Def category_theory.functor.sections

Modification history

2019-05-20 18:35
src/category_theory/types.lean
feat(category_theory): limits in CommRing (#1006) …
Added category_theory.functor.sectionsView on Github →