OAI/Analysis/RieszRectifiability/Kernel/CappedBilinearKernel.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.RieszRectifiability.cappedInverseDistancePow line 15
  2. theorem OAI.RieszRectifiability.cappedInverseDistancePow_nonneg line 19
  3. theorem OAI.RieszRectifiability.cappedInverseDistancePow_bound line 24
  4. theorem OAI.RieszRectifiability.cappedInverseDistancePow_eq line 31
  5. theorem OAI.RieszRectifiability.cappedInverseDistancePow_swap line 36
  6. theorem OAI.RieszRectifiability.cappedInverseDistancePow_lipschitz line 41
  7. def OAI.RieszRectifiability.cappedTestKernel line 59
  8. theorem OAI.RieszRectifiability.cappedTestKernel_bound line 63
  9. theorem OAI.RieszRectifiability.cappedTestKernel_lipschitz line 75
  10. theorem OAI.RieszRectifiability.cappedTestKernel_antisymm line 91
  11. theorem OAI.RieszRectifiability.capped_bilinear_eq_outside line 98