Theorem isCompact_closedAbsConvexHull_of_totallyBounded

Modification history

2025-09-02 14:50
Mathlib/Analysis/LocallyConvex/AbsConvex.lean
feature(Analysis/LocallyConvex/Bounded): Quasi-complete spaces (#28609) …
Added isCompact_closedAbsConvexHull_of_totallyBoundedView on Github →