OAI/MeasureTheory/Falconer/Estimates/OddNonchargingPreparation.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Starting-pair cap preparation in the noncharging odd-dimensional branch

  1. theorem OAI.Falconer.odd_noncharging_starting_pairs line 12