OAI/MeasureTheory/Falconer/Graphs/GraphFourTransformExpansion.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PlanarFalconer.sourceGraphFourTransform line 10
2. theorem OAI.PlanarFalconer.graphFourKernel_endpoint_product line 20
3. theorem OAI.PlanarFalconer.sourceGraphFourTransform_endpoint_integral line 33
4. theorem OAI.PlanarFalconer.sourceGraphFourTransform_profile_normalization line 51