Theorem SSet.Subcomplex.BicartSq.isPushout

Modification history

2025-11-27 08:57
Mathlib/AlgebraicTopology/SimplicialSet/SubcomplexColimits.lean
feat(AlgebraicTopology): multicoequalizers and pushouts of simplicial sets (#31797) …
Added SSet.Subcomplex.BicartSq.isPushoutView on Github →