Theorem SSet.Subcomplex.topIso_inv_ι

Modification history

2025-12-19 11:46
Mathlib/AlgebraicTopology/SimplicialSet/Subcomplex.lean
chore(CategoryTheory): generalize subpresheaf to subfunctor (#32746) …
Modified SSet.Subcomplex.topIso_inv_ιView on Github →
2025-11-09 14:03
Mathlib/AlgebraicTopology/SimplicialSet/Subcomplex.lean
feat(AlgebraicTopology): basic API for subcomplexes of simplicial sets (#31122) …
Added SSet.Subcomplex.topIso_inv_ιView on Github →