OAI/MeasureTheory/Falconer/Estimates/ScalarRatioTransfer.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Two overlapping small projections give a small difference projection for the ratio of their coefficients.

  1. theorem OAI.Falconer.scalar_dilation_sum_image line 11
  2. theorem OAI.Falconer.scalar_ratio_transfer line 32