Def SSet.StrictSegalCore.spineToSimplex

Modification history

2025-11-17 08:49

Mathlib/AlgebraicTopology/SimplicialSet/StrictSegal.lean

feat(AlgebraicTopology): inductive construction of StrictSegal structures (#31250) …

Added SSet.StrictSegalCore.spineToSimplex View on Github →