Theorem SSet.range_eq_iSup_sigma_ι

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_sigma_ιView on Github →