Commit 2026-03-25 21:29 22efd1c4

feat(AlgebraicTopology/SimplicialSet): nondegenerate simplices in Δ[p] ⊗ Δ[q] of maximal dimension (#36987) Let z be a (p + q)-simplex of Δ[p] ⊗ Δ[q], identified as a monotone map z : {0, ..., p + q} to {0, ..., p} × {0, ..., q}. Then z is nondegenerate iff for all i, (z i).1 + (z i).2 = i.