OAI/MeasureTheory/Falconer/Shells/HighShellCone.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PlanarFalconer.sourceConeCircle_zero_of_cos_neg line 10
2. theorem OAI.PlanarFalconer.sourceConeCircle_inverse_germs line 25
3. theorem OAI.PlanarFalconer.sourceConeCircle_uniform_derivatives line 50