Theorem ConvexBody.smul_le_of_le

Modification history

2023-11-10 18:21

Mathlib/Analysis/Convex/Body.lean

feat: Minkowski Convex Body Theorem for compact convex body (#8274)

Added ConvexBody.smul_le_of_le View on Github →