OAI/NumberTheory/TwoPoint/Walks/RetainedGraphOrientation.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

The ten-color reduction applies to the actual retained prime graph.

  1. lemma OAI.TwoPointCorrelations.retainedDirectedMatrix_short_support line 13
  2. lemma OAI.TwoPointCorrelations.retainedPrimeMatrix_short_support line 37
  3. theorem OAI.TwoPointCorrelations.projected_prime_directed_identity line 55