OAI/MeasureTheory/Falconer/Graphs/GraphEndpointContinuity.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.PlanarFalconer.continuous_circle_of_direction line 13
  2. theorem OAI.PlanarFalconer.inheritedCircleSymbol_continuous line 27
  3. theorem OAI.PlanarFalconer.sourceConeCircle_continuous line 35
  4. theorem OAI.PlanarFalconer.circleGraphSignPlus_continuous line 38
  5. theorem OAI.PlanarFalconer.circleGraphSignMinus_continuous line 43
  6. theorem OAI.PlanarFalconer.sourcePlaneWave_continuous line 48
  7. def OAI.PlanarFalconer.graphBinWeight line 53
  8. def OAI.PlanarFalconer.graphDistanceWeight line 56
  9. def OAI.PlanarFalconer.graphProductWeight line 60
  10. theorem OAI.PlanarFalconer.graphBinWeight_continuous line 65
  11. theorem OAI.PlanarFalconer.graphDistanceWeight_continuous line 69
  12. theorem OAI.PlanarFalconer.graphProductWeight_continuous line 75
  13. theorem OAI.PlanarFalconer.graphProductWeight_partition line 82