OAI/Probability/SpanningForest/GraphCoordinateTruncation.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem336.CoordinateTruncation.finiteEdges line 13
2. theorem OAI.Problem336.CoordinateTruncation.mem_finiteEdges line 16
3. def OAI.Problem336.CoordinateTruncation.graphEdges line 20
4. theorem OAI.Problem336.CoordinateTruncation.exhaustion_finiteEdges_monotone line 23
5. theorem OAI.Problem336.CoordinateTruncation.exhaustion_graphEdges line 31
6. theorem OAI.Problem336.CoordinateTruncation.graph_coordinate_closure line 41
7. theorem OAI.Problem336.CoordinateTruncation.graph_truncate_tendsto line 48