Theorem subsingleton_botSet

Modification history

2026-01-22 19:09

Mathlib/MeasureTheory/Measure/Stieltjes.lean

refactor(MeasureTheory/Measure/Stieltjes): simpler definition of `botSet` (#33248)

Added subsingleton_botSet View on Github →