Def SSet.Subcomplex.eqToIso

Modification history

2025-11-27 08:57
Mathlib/AlgebraicTopology/SimplicialSet/Subcomplex.lean
feat(AlgebraicTopology): multicoequalizers and pushouts of simplicial sets (#31797) …
Deleted SSet.Subcomplex.eqToIsoView 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.eqToIsoView on Github →