Commit 2026-01-22 19:09 3538f044

View on Github →

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

Estimated changes

modified def botSet
added theorem subsingleton_botSet