OAI/MeasureTheory/Falconer/Graphs/GraphGlobalBump.lean

GitHub source file

2 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PlanarFalconer.sourceArcLength_pair_graph_plane_supported line 8
2. theorem OAI.PlanarFalconer.sourceArcLength_pair_graph_plane_bump line 34