OAI/MeasureTheory/Falconer/Radial/TwoSlabMass.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Frostman mass of the intersection of two transversely oriented slabs

  1. theorem OAI.Falconer.two_slab_frostman_bound line 12