OAI/MeasureTheory/Falconer/Incidence/CoarsePacketParameters.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

A single weak exponent pays for the complete coarse-packet application.

  1. theorem OAI.Falconer.coarse_packet_parameters line 11