OAI/MeasureTheory/Falconer/Angular/InheritedCircleRegularity.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.PlanarFalconer.periodic_iteratedDeriv line 11
  2. theorem OAI.PlanarFalconer.inheritedMaskProduct_periodic line 19
  3. theorem OAI.PlanarFalconer.periodic_sourceAngle line 33
  4. theorem OAI.PlanarFalconer.inheritedCircleSymbol_comp line 43
  5. theorem OAI.PlanarFalconer.iteratedDeriv_ofReal line 54
  6. theorem OAI.PlanarFalconer.inheritedCircleSymbol_contDiff line 65
  7. theorem OAI.PlanarFalconer.inheritedCircleSymbol_derivative_norm line 73