Def StdSimplex.join

Modification history

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