OAI/MeasureTheory/Falconer/Recursion/ProfileMerging.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Finite recursive absorption of low-slope profile cells.

  1. theorem OAI.Falconer.merge_profile_cells line 10