Commit 2025-11-14 15:43 b0a3a60f

chore(MeasureTheory/MeasurableSpace): golf measurableSet_generateFrom_singleton_iff using grind (#31273)