Theorem LightCondSet.mem_locallyContant_essImage_of_isColimit_mapCocone

Modification history

2024-12-26 07:24
Mathlib/Condensed/Discrete/Characterization.lean
docs: fix typos across repository (#20239) …
Deleted LightCondSet.mem_locallyContant_essImage_of_isColimit_mapCoconeView on Github →
2024-10-17 08:31
Mathlib/Condensed/Discrete/Characterization.lean
feat(Condensed): characterisation of discrete (light) condensed sets and modules (#14027) …
Added LightCondSet.mem_locallyContant_essImage_of_isColimit_mapCoconeView on Github →