OAI/Analysis/LipschitzHilbert/Estimates/SlopeBoxHorizontalRescale.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Covariance of the physical slope boxes under horizontal dilation.

  1. def OAI.LipschitzHilbert.SlopeBox.horizontalRescale line 10
  2. theorem OAI.LipschitzHilbert.SlopeBox.horizontalRescale_horizontal line 19
  3. theorem OAI.LipschitzHilbert.SlopeBox.horizontalRescale_transverse line 25
  4. theorem OAI.LipschitzHilbert.SlopeBox.horizontalRescale_radius line 31
  5. theorem OAI.LipschitzHilbert.SlopeBox.horizontalRescale_weight line 35
  6. theorem OAI.LipschitzHilbert.SlopeBox.horizontalRescale_intercept line 39
  7. theorem OAI.LipschitzHilbert.SlopeBox.horizontalRescale_area line 45