OAI/Analysis/RieszRectifiability/Limits/CappedEnergyContinuity.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.RieszRectifiability.cappedWeightedDifference_sub line 14
2. theorem OAI.RieszRectifiability.capped_self_bilinear_eq_energy line 21
3. theorem OAI.RieszRectifiability.cappedPairEnergy_L2_bound line 27
4. theorem OAI.RieszRectifiability.cappedWeightedDifference_L2_tendsto line 55
5. theorem OAI.RieszRectifiability.capped_energy_tendsto_of_L2_error line 73
6. theorem OAI.RieszRectifiability.capped_pairing_tendsto_of_L2_error line 83