Theorem LightCondSet.mem_locallyConstant_essImage_of_isColimit_mapCocone

Modification history

2024-12-26 07:24
Mathlib/Condensed/Discrete/Characterization.lean
docs: fix typos across repository (#20239) …
Added LightCondSet.mem_locallyConstant_essImage_of_isColimit_mapCoconeView on Github →