OAI/MeasureTheory/Falconer/Geometry/TroublesomeCovers.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Covers of the measurable troublesome-pair relation

  1. theorem OAI.Falconer.troublesome_pair_covers line 13