Theorem AbsConvex.absConvexHull_subset_iff

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_subset_iffView on Github →