OAI/Geometry/Perimeter/Regularity/ConeRadialCap.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.RPISingularHarnack.coneRadialCap line 17
  2. theorem OAI.RPISingularHarnack.coneRadialCap_contDiff line 20
  3. theorem OAI.RPISingularHarnack.coneRadialCap_tsupport line 24
  4. theorem OAI.RPISingularHarnack.gradient_coneRadialCap line 34
  5. theorem OAI.RPISingularHarnack.minimizing_cone_support_in_halfspace_plane line 51
  6. theorem OAI.RPISingularHarnack.minimizing_cone_containing_halfspace_ae_eq line 138
  7. theorem OAI.RPISingularHarnack.minimizing_cone_containing_halfspace_support_eq line 202
  8. theorem OAI.RPISingularHarnack.measure_eq_of_Iio_finite line 226
  9. def OAI.RPISingularHarnack.radialScaledMeasure line 238
  10. theorem OAI.RPISingularHarnack.radialScaledMeasure_Iio line 241
  11. theorem OAI.RPISingularHarnack.radialScaledMeasure_eq_of_constant_density line 253
  12. theorem OAI.RPISingularHarnack.radialDensity_integral_eq_pushforward line 281
  13. theorem OAI.RPISingularHarnack.radialDensity_integral_ball_eq line 292
  14. theorem OAI.RPISingularHarnack.minimizing_radialDensityDerivative_eq_zero_of_constant_density line 307
  15. theorem OAI.RPISingularHarnack.minimizing_radial_tangent_of_constant_density line 342