OAI/MeasureTheory/Falconer/Radial/RadialShellMeasure.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PlanarFalconer.sourceAngularShellMeasure line 11

   Source documentation

   The radial shell measure shared by the planar and all-dimensional arguments.

   noncomputable def sourceAngularShellMeasure (v : ℝ) (Ψ : ℝ → ℝ) : Measure ℝ :=
   …