Theorem LightCondensed.isColimitLocallyConstantPresheafDiagram_desc_apply

Modification history

2024-10-16 04:43
Mathlib/Condensed/Discrete/Colimit.lean
feat(Condensed): colimit characterization of discrete condensed sets (#15566) …
Added LightCondensed.isColimitLocallyConstantPresheafDiagram_desc_applyView on Github →