Theorem Subsingleton.count_eq_dirac

Modification history

2026-03-06 09:14
Mathlib/MeasureTheory/Measure/Count.lean
feat: lemmas about `Measure.count` (#36205) …
Added Subsingleton.count_eq_diracView on Github →