OAI/MeasureTheory/Falconer/Recursion/ThreeIntervalCost.lean
1 declarations, 0 contain sorry, 0 declared as axioms
A uniform power bound for the three local deletions and density pruning
- theorem
OAI.Falconer.eventually_three_interval_costline 9