OAI/MeasureTheory/Falconer/Radial/SmallChartWeakRadial.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Weak radial pruning on the actual small chart law

  1. theorem OAI.Falconer.small_chart_weak_radial line 14