OAI/MeasureTheory/Falconer/Fourier/MinimalPairSymbol.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PlanarFalconer.inheritedCircleSymbol_zero_assignment line 10
2. def OAI.PlanarFalconer.PositiveDistanceData.pairMaskSymbol line 20
3. theorem OAI.PlanarFalconer.PositiveDistanceData.pairMaskSymbol_radial line 27
4. theorem OAI.PlanarFalconer.PositiveDistanceData.pairMaskSymbol_inherited line 31