OAI/MeasureTheory/Falconer/Radial/CoarsePlateLimit.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

Exact limiting set of the decreasing coarse plate filters

  1. theorem OAI.Falconer.iInter_coarsePlateFilter line 11
  2. theorem OAI.Falconer.coarsePlateFilter_limit_pos line 34