OAI/MeasureTheory/Falconer/Radial/ProjectionDensity.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.PlanarFalconer.sourceFrame line 10
  2. theorem OAI.PlanarFalconer.sourceFrame_eq line 14
  3. theorem OAI.PlanarFalconer.continuous_sourceFrame line 23
  4. theorem OAI.PlanarFalconer.sourceFrame_measurePreserving line 30
  5. theorem OAI.PlanarFalconer.sourceProjection_frame line 42
  6. def OAI.PlanarFalconer.projectedDensity line 51
  7. theorem OAI.PlanarFalconer.measurable_projectedDensity line 54
  8. theorem OAI.PlanarFalconer.projectedMeasure_withDensity line 58
  9. def OAI.PlanarFalconer.sourceAlong line 73
  10. theorem OAI.PlanarFalconer.sourceFrame_inverse line 76
  11. theorem OAI.PlanarFalconer.sourceFrame_line line 86
  12. theorem OAI.PlanarFalconer.projectedDensity_line line 96