Theorem botSet_eq_singleton_of_isBot

Modification history

2026-01-29 16:43
Mathlib/MeasureTheory/Measure/Stieltjes.lean
feat: improve Stieltjes measure file (#34415) …
Added botSet_eq_singleton_of_isBotView on Github →