OAI/Analysis/RieszRectifiability/Nets/CellEnergy.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.RieszRectifiability.cell_variance_le_energy line 14
2. def OAI.RieszRectifiability.fractionalPairEnergy line 42
3. theorem OAI.RieszRectifiability.fractionalPairEnergy_nonneg line 46
4. theorem OAI.RieszRectifiability.square_le_radius_mul_fractional_energy line 52
5. theorem OAI.RieszRectifiability.cell_variance_le_fractional_energy line 66
6. theorem OAI.RieszRectifiability.radius_mass_coefficient_le line 77
7. theorem OAI.RieszRectifiability.cell_variance_le_scale_times_energy line 87