OAI/MeasureTheory/Falconer/Angular/GoodDirectionMass.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

One good witness direction rules out mass in a nearby heavy tube cover

  1. theorem OAI.Falconer.mass_lt_of_good_direction_cover line 12