OAI/MeasureTheory/Falconer/Estimates/RootLeibniz.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. abbrev OAI.PlanarFalconer.RootMaskIndex line 11
2. def OAI.PlanarFalconer.rootMaskIndices line 13
3. def OAI.PlanarFalconer.rootMaskDescriptor line 15
4. def OAI.PlanarFalconer.rootAngleFactor line 17
5. def OAI.PlanarFalconer.rootAssignmentScale line 23
6. theorem OAI.PlanarFalconer.rootAngleFactor_contDiff line 27
7. theorem OAI.PlanarFalconer.rootPairSymbol_product line 34
8. theorem OAI.PlanarFalconer.root_assignment_normalized line 41
9. theorem OAI.PlanarFalconer.rootPairSymbol_inverse_leibniz line 57