Theorem zero_mem_absConvexHull

Modification history

2025-10-14 23:03
Mathlib/Analysis/LocallyConvex/AbsConvex.lean
refactor(Analysis/LocallyConvex/AbsConvex): Redefine AbsConvex to use a single ring of scalars (#29342) …
Modified zero_mem_absConvexHullView on Github →
2025-04-12 05:43
Mathlib/Analysis/LocallyConvex/AbsConvex.lean
feature(Analysis/LocallyConvex/AbsConvex): Add zero_mem_absConvexHull (#23845) …
Added zero_mem_absConvexHullView on Github →