OAI/Analysis/RieszRectifiability/Kernel/OscillationTests.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.RieszRectifiability.ScalarOscillationBound line 14
2. theorem OAI.RieszRectifiability.rieszInteriorIntegrand_const_mul line 20
3. theorem OAI.RieszRectifiability.rieszFarIntegrand_const_mul line 26
4. theorem OAI.RieszRectifiability.rieszScalarPairing_const_mul line 32
5. theorem OAI.RieszRectifiability.tsupport_subset_ball_of_support_bound line 41
6. theorem OAI.RieszRectifiability.ScalarOscillationBound.lipschitz_test_bound line 50
7. theorem OAI.RieszRectifiability.oscillation_bound_for_localized_test line 76