Theorem ConvexBody.zero_mem_of_symmetric

Modification history

2025-04-30 12:59
Mathlib/Analysis/Convex/Body.lean
style: further whitespace fixes (#24467) …
Modified ConvexBody.zero_mem_of_symmetricView on Github →
2023-11-10 18:21
Mathlib/Analysis/Convex/Body.lean
feat: Minkowski Convex Body Theorem for compact convex body (#8274)
Added ConvexBody.zero_mem_of_symmetricView on Github →