mathlib

85d43fc4 - feat(measure_theory/counting_measure): counting measure