ThmDex – An index of mathematical definitions, results, and conjectures.
Proof P3353 on R4895: Standard counting measure is a point-mass measure
P3353
This result is a particular case of R4894: Counting measure is a point-mass measure. $\square$