OAI/MeasureTheory/Falconer/Recursion/ActualRecursiveProfile.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PlanarFalconer.RecursiveEnvironment.energies_mono line 10
2. theorem OAI.PlanarFalconer.uniform_actual_profile_with_overhead line 19
3. theorem OAI.PlanarFalconer.recursion_overhead_absorption line 115
4. theorem OAI.PlanarFalconer.uniform_actual_recursive_profile line 140