OAI/MeasureTheory/Falconer/Recursion/ProfileGridThreshold.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Choose the finite block-grid resolution after the decomposition scale and all application error tolerances have been fixed.

  1. theorem OAI.Falconer.exists_profile_grid_threshold line 9