OAI/MeasureTheory/Falconer/Radial/ThreeTubeMass.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Frostman mass obstruction for three transverse tube families

  1. theorem OAI.Falconer.three_tube_frostman_mass_sq line 11