Mathlib v3 is deprecated. Go to Mathlib v4

Theorem dimH_le_of_hausdorff_measure_ne_top

Modification history