ThmDex – An index of mathematical definitions, results, and conjectures.

ThmDex – An index of mathematical definitions, results, and conjectures.

Result R4894 on D1701: Point-mass measure

Counting measure is a point-mass measure