OAI/Analysis/RieszRectifiability/Kernel/CappedEnergy.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.RieszRectifiability.cappedPairEnergy line 14
2. def OAI.RieszRectifiability.cappedWeightedDifference line 18
3. theorem OAI.RieszRectifiability.cappedWeightedDifference_sq line 22
4. theorem OAI.RieszRectifiability.cappedWeightedDifference_mul line 28
5. theorem OAI.RieszRectifiability.cappedWeightedDifference_memLp line 40
6. theorem OAI.RieszRectifiability.cappedPairEnergy_integrable line 59
7. theorem OAI.RieszRectifiability.capped_bilinear_cauchy_schwarz line 65
8. theorem OAI.RieszRectifiability.cappedPairEnergy_le_fractional line 75
9. theorem OAI.RieszRectifiability.capped_bilinear_variational_bound line 87