OAI/MeasureTheory/Falconer/Graphs/FiberPairing.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PlanarFalconer.weighted_power_cancel line 11
2. theorem OAI.PlanarFalconer.weighted_power_square line 17
3. theorem OAI.PlanarFalconer.line_weighted_cauchy line 23
4. theorem OAI.PlanarFalconer.schwartz_measure_pairing line 61
5. theorem OAI.PlanarFalconer.schwartz_inverse_weight line 66
6. theorem OAI.PlanarFalconer.source_fourier_pairing line 76