OAI/MeasureTheory/Falconer/Graphs/GraphRetainedEdges.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.PlanarFalconer.graphChosenRepresentative line 8
2. theorem OAI.PlanarFalconer.graphChosenRepresentative_spec line 15
3. def OAI.PlanarFalconer.GraphRetainedEdge line 26
4. def OAI.PlanarFalconer.graphRetainedIndices line 35
5. theorem OAI.PlanarFalconer.graph_nonedge_of_not_retained line 41
6. theorem OAI.PlanarFalconer.graph_sum_minus_retained line 54