Theorem MeasureTheory.Measure.count_real_univ

Modification history

2026-07-09 14:40
Mathlib/MeasureTheory/Measure/Count.lean
feat(MeasureTheory): mass of `count.real` (#40367) …
Added MeasureTheory.Measure.count_real_univView on Github →