OAI/NumberTheory/TwoPoint/Walks/TupleResidueLabels.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Recover singleton positions and tuple-coordinate support from the actual numerical word.

  1. lemma OAI.TwoPointCorrelations.tuplePrimeAt_columnTupleWord_iff line 14
  2. lemma OAI.TwoPointCorrelations.tuple_label_support line 40
  3. lemma OAI.TwoPointCorrelations.tuple_singleton_position line 53