OAI/Analysis/RieszRectifiability/Foundations/OriginalDyadicTests.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.RieszRectifiability.DyadicOscillationTests line 14
2. def OAI.RieszRectifiability.DyadicOscillationTests.weight line 33
3. theorem OAI.RieszRectifiability.DyadicOscillationTests.weight_pos line 38
4. theorem OAI.RieszRectifiability.DyadicOscillationTests.weight_sq line 43
5. theorem OAI.RieszRectifiability.DyadicOscillationTests.value_bound line 49
6. def OAI.RieszRectifiability.DyadicOscillationTests.normalized line 56
7. theorem OAI.RieszRectifiability.DyadicOscillationTests.normalized_pairing_sq line 97