Theorem ConvexBody.iInter_smul_eq_self

Modification history

2023-11-10 18:21

Mathlib/Analysis/Convex/Body.lean

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

Added ConvexBody.iInter_smul_eq_self View on Github →