Theorem absConvex_absConvexHull

Modification history

2024-10-17 07:12

Mathlib/Analysis/LocallyConvex/AbsConvex.lean

feat(Analysis/LocallyConvex/AbsConvex): Define the Absolutely Convex Hull (#17029) …

Added absConvex_absConvexHull View on Github →