Theorem Balanced.balancedCore_eq

Modification history

2025-04-12 05:43
Mathlib/Analysis/LocallyConvex/BalancedCoreHull.lean
feature(Analysis/LocallyConvex/AbsConvex): Add zero_mem_absConvexHull (#23845) …
Added Balanced.balancedCore_eqView on Github →