OAI/Geometry/Perimeter/Regularity/DilatedVolumeTest.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.RPISingularHarnack.dilatedVolumeTest line 17
  2. def OAI.RPISingularHarnack.dilatedVolumeTestDerivative line 20
  3. theorem OAI.RPISingularHarnack.dilatedVolumeTest_hasDerivAt line 23
  4. theorem OAI.RPISingularHarnack.dilatedVolumeTest_continuous line 31
  5. theorem OAI.RPISingularHarnack.dilatedVolumeTestDerivative_continuous line 37
  6. theorem OAI.RPISingularHarnack.dilatedVolumeTest_integral_hasDerivAt line 44
  7. theorem OAI.RPISingularHarnack.dilatedVolumeTestDerivative_eq_divergence line 72
  8. theorem OAI.RPISingularHarnack.minimizing_radial_divergence_eq_zero line 98
  9. theorem OAI.RPISingularHarnack.tsupport_dilation_subset_ball line 118
  10. theorem OAI.RPISingularHarnack.dilatedVolumeTest_zero_outside line 127
  11. theorem OAI.RPISingularHarnack.minimizing_dilatedVolumeTestDerivative_integral_eq_zero line 144
  12. theorem OAI.RPISingularHarnack.minimizing_dilatedVolumeTest_integral_hasDerivAt_zero line 160
  13. theorem OAI.RPISingularHarnack.minimizing_volume_test_dilation_invariant line 198
  14. theorem OAI.RPISingularHarnack.minimizing_dilation_ae_eq line 212
  15. theorem OAI.RPISingularHarnack.minimizing_isCone_phaseSupport_of_radial_tangent line 248
  16. theorem OAI.RPISingularHarnack.minimizing_constant_density_conical_representative line 301