OAI/MeasureTheory/Falconer/Radial/PlanarRadialDischarge.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

The planar radial moment for compact disjoint supports

The finite-energy radial projection estimate specializes to compact, disjoint supports with the same circle measure.

  1. theorem OAI.PlanarFalconer.published_planar_radial_moment line 15