OAI/MeasureTheory/Falconer/Estimates/OddProjectedPieces.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Choose the normalized pair geometry in the noncharging odd-dimensional case

  1. theorem OAI.Falconer.choose_odd_projected_pieces line 12