Def StdSimplex.single

Modification history

2026-05-15 08:37
Mathlib/Geometry/Convex/ConvexSpace/Defs.lean
feat(Geometry/Convex): indexed convex combinations (#37592) …
Deleted StdSimplex.singleView on Github →
2025-12-19 22:50
Mathlib/LinearAlgebra/ConvexSpace.lean
feat: definition of `ConvexSpace` (#31984) …
Added StdSimplex.singleView on Github →