OAI/MeasureTheory/Falconer/Estimates/NoncomparableCommonBound.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

A common normalization for both original noncomparable factors

  1. theorem OAI.Falconer.noncomparable_coefficient_common line 9
  2. theorem OAI.Falconer.normalized_jet_bound_mono line 20