OAI/MeasureTheory/Falconer/Estimates/PacketParameterBounds.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

All four losses in weighted fine-packet extraction are polynomial in the original weak-regularity loss.

  1. theorem OAI.Falconer.packet_parameter_bounds line 9