OAI/MeasureTheory/Falconer/Angular/CircleMaskCoordinates.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.PlanarFalconer.sourceAngle line 11
  2. theorem OAI.PlanarFalconer.measurable_sourceAngle line 14
  3. theorem OAI.PlanarFalconer.sourceUnitDirection_sourceAngle line 19
  4. theorem OAI.PlanarFalconer.sourceAngle_sourceUnitDirection line 32
  5. theorem OAI.PlanarFalconer.sourceTestMask_periodic line 37
  6. def OAI.PlanarFalconer.circleTestMask line 46
  7. theorem OAI.PlanarFalconer.measurable_circleTestMask line 49
  8. theorem OAI.PlanarFalconer.circleTestMask_bounds line 53
  9. theorem OAI.PlanarFalconer.circleTestMask_eq_one line 56
  10. theorem OAI.PlanarFalconer.circleTestMask_comp line 61
  11. theorem OAI.PlanarFalconer.circleTestMask_angular_contDiff line 72
  12. theorem OAI.PlanarFalconer.circleTestMask_failure_le line 76