OAI/MeasureTheory/Falconer/Radial/FinitePlateException.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

A finite family of plates: exceptional intersections and clustering

  1. def OAI.Falconer.slabPairException line 12
  2. theorem OAI.Falconer.measurableSet_slabPairException line 16
  3. theorem OAI.Falconer.slabPairException_mass line 30
  4. theorem OAI.Falconer.cluster_outside_slabPairException line 57