2023-03-01 04:43
src/category_theory/cofiltered_system.lean
refactor(category theory/cofiltered_systems): rename `mittag_leffler.lean` and move `nonempty_sections_of_fintype_cofiltered_system` into new file (#18433) …
Added category_theory.functor.eventually_injective