Commit 2024-10-17 07:12 efad68b7

feat(Analysis/LocallyConvex/AbsConvex): Define the Absolutely Convex Hull (#17029) Defines the absolutely convex (or disked) hull of a subset of a locally convex space and proves a number of standard properties, including:

• (subject to suitable conditions) the absolutely convex hull equals the convex hull of the balanced hull.
• In a real vector space the absolutely convex hull of s equals the convex hull of s ∪ -s