Theorem unitInterval.eq_closedBall

Modification history

2025-11-20 14:55
Mathlib/Topology/UnitInterval.lean
feat(Counterexamples): Peano curve (#26185) …
Added unitInterval.eq_closedBallView on Github →