11. 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. 11.1. Basic construction
2. 11.2. Normalisation
3. 11.3. Connection to Lebesgue and Haar
4. 11.4. Hausdorff dimension