2023-03-01 04:43
src/topology/category/Top/limits.lean
refactor(category theory/cofiltered_systems): rename `mittag_leffler.lean` and move `nonempty_sections_of_fintype_cofiltered_system` into new file (#18433) …
Deleted nonempty_sections_of_fintype_cofiltered_system