OAI/NumberTheory/JointDickman/Amplification/GraphTripleSupport.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Only supported coprime coefficient triples contribute to a lag

  1. theorem OAI.JointDickman.graphTripleWeight_nonzero_supported line 11
  2. theorem OAI.JointDickman.graphTriple_edge_coprime line 45
  3. def OAI.JointDickman.coprimeGraphTriples line 59
  4. theorem OAI.JointDickman.graphTriple_size_bound line 63