OAI/MeasureTheory/Falconer/Estimates/RegularCellConfiguration.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The regular coarse configuration with its original cell occupancies and fine mass retained. No small coarse-tube cover is assumed here.

  1. theorem OAI.Falconer.regular_cell_configuration line 13