OAI/Combinatorics/SumProduct/Alignment/IntegerArrays07.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SourceIntegerArrays.GlobalJoint.intrinsicTerminal line 33
2. def OAI.SourceIntegerArrays.GlobalJoint.intrinsicSuccess line 47
3. lemma OAI.SourceIntegerArrays.GlobalJoint.intrinsicTerminal_eq line 56
4. theorem OAI.SourceIntegerArrays.GlobalJoint.array_empirical_subsequence line 74
5. theorem OAI.SourceIntegerArrays.source_compact_empirical line 142
6. def OAI.SourceIntegerArrays.firstPivot line 259
7. def OAI.SourceIntegerArrays.rawLocalOrbit line 263
8. lemma OAI.SourceIntegerArrays.firstPivot_congruent line 277
9. lemma OAI.SourceIntegerArrays.firstPivot_close line 282
10. lemma OAI.SourceIntegerArrays.firstPivot_eq_point line 293
11. theorem OAI.SourceIntegerArrays.source_intrinsic_selection line 305