OAI/MeasureTheory/Falconer/Graphs/DenseGraphParameters.lean

GitHub source file

1 declarations, 0 contain sorry, 0 declared as axioms

Numerical absorption for passing from dense original graphs to the common refined-graph obstruction.

  1. theorem OAI.Falconer.dense_graph_parameters line 10