Theorem convex_closedEBall

Modification history

2026-02-02 21:52
Mathlib/Analysis/Normed/Module/Convex.lean
feat(Analysis/../Connected): balls are (pre)connected (#33514) …
Added convex_closedEBallView on Github →