`OAI/MeasureTheory/Falconer/Incidence/PowerIncidenceMass.lean`

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Turning a power-small incidence into a power-small direction mass

theorem OAI.Falconer.ennreal_mass_of_power_incidence line 11