OAI/MeasureTheory/Falconer/Shells/AngularShellEnergy.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PlanarFalconer.sourceAngularTransform line 10
2. def OAI.PlanarFalconer.sourceAngularMoment line 14
3. def OAI.PlanarFalconer.sourceAngularH line 17
4. theorem OAI.PlanarFalconer.measurable_sourceAngularMoment line 21
5. theorem OAI.PlanarFalconer.sourceAngularH_two_profile line 24