Frostman lemma

Frostman's lemma is a result in measure theory and fractal geometry that provides a characterization of certain subsets of Euclidean space with respect to their "size" or measure. Specifically, it deals with how sets can be "thick" in terms of their measure-theoretic properties.