OAI/MeasureTheory/Falconer/Angular/StationaryDifferentialExpr.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.PlanarFalconer.angularFiniteSum line 9
  2. theorem OAI.PlanarFalconer.angularFiniteSum_apply line 13
  3. theorem OAI.PlanarFalconer.angularFiniteSum_order line 19
  4. def OAI.PlanarFalconer.stationaryLeadingConstant line 27
  5. theorem OAI.PlanarFalconer.stationaryLeadingConstant_ne_zero line 30
  6. def OAI.PlanarFalconer.stationaryJetExpr line 35
  7. theorem OAI.PlanarFalconer.stationaryJetExpr_order line 41
  8. theorem OAI.PlanarFalconer.stationaryJetExpr_apply line 48
  9. def OAI.PlanarFalconer.directStationaryExpr line 59
  10. theorem OAI.PlanarFalconer.directStationaryExpr_order line 63
  11. theorem OAI.PlanarFalconer.directStationaryExpr_apply line 66