Def Convexity.StdSimplex.restrict

Modification history

2026-05-21 09:56

Mathlib/Geometry/Convex/ConvexSpace/Defs.lean

feat(Geometry/Convex): convex sets in a `ConvexSpace` (#38905) …

Added Convexity.StdSimplex.restrict View on Github →