OAI/MeasureTheory/Falconer/Incidence/CoarserPencilDirections.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Good projected directions for a packet eight times wider than its coarse grid cells, at the actual normalized fine-point resolution.

  1. theorem OAI.Falconer.good_pencil_projection_directions_coarser line 10