12. Hausdorff Measure🔗

We describe Mathlib's theory of Hausdorff measure and Hausdorff dimension in the sections below.

For convenience we begin by opening namespaces:

1. 12.1. Basic construction
2. 12.2. Normalisation
3. 12.3. Connection to Lebesgue and Haar
4. 12.4. Hausdorff dimension