Theorem dimH_image_le_of_locally_lipschitzOn

Modification history

2023-09-04 12:27
Mathlib/Topology/MetricSpace/HausdorffDimension.lean
chore(Analysis): rename lipschitz_on_univ to lipschitzOn_univ (#6946) …
Added dimH_image_le_of_locally_lipschitzOnView on Github →