Theorem SSet.range_eq_iSup_of_isColimit

Modification history

2026-01-04 10:53
Mathlib/AlgebraicTopology/SimplicialSet/FiniteColimits.lean
feat(AlgebraicTopology): finite simplicial sets are `ℵ₀`-presentable (#32266) …
Added SSet.range_eq_iSup_of_isColimitView on Github →