OAI/MeasureTheory/Falconer/Graphs/GraphSignSupports.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PlanarFalconer.sourceConeCircle_tsupport_dist line 10
2. theorem OAI.PlanarFalconer.sourceConeCircle_plus_nondegenerate line 30
3. def OAI.PlanarFalconer.circleGraphSignWeight line 49
4. theorem OAI.PlanarFalconer.circleGraphSignWeight_nondegenerate line 52
5. def OAI.PlanarFalconer.graphBinPairSupport line 64
6. theorem OAI.PlanarFalconer.actual_graph_bin_pair_representative line 68