OAI/MeasureTheory/Falconer/Estimates/OrderedLeibniz.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.PlanarFalconer.orderedDerivAssignments line 10
  2. theorem OAI.PlanarFalconer.orderedDerivAssignments_length line 16
  3. theorem OAI.PlanarFalconer.orderedDerivAssignments_budget line 22
  4. def OAI.PlanarFalconer.assignedDerivProduct line 36
  5. theorem OAI.PlanarFalconer.assignedDerivProduct_contDiff line 40
  6. theorem OAI.PlanarFalconer.assignedDerivProduct_deriv line 45
  7. theorem OAI.PlanarFalconer.contDiff_list_sum line 61
  8. theorem OAI.PlanarFalconer.deriv_list_sum line 69
  9. theorem OAI.PlanarFalconer.iteratedDeriv_ordered_product line 81