OAI/MeasureTheory/Falconer/Measures/ExceptionalFiberMass.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Integrating a uniform fiber bound outside a measurable exceptional set

  1. theorem OAI.Falconer.product_mass_of_exceptional_fibers line 12