OAI/Combinatorics/FiniteCircle/Codes.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.FiniteCircle.StrongLocal.anchorLocal line 12
2. theorem OAI.FiniteCircle.length_interval line 22
3. theorem OAI.FiniteCircle.get_interval line 27
4. theorem OAI.FiniteCircle.indexSpan_ofFn_le line 36
5. theorem OAI.FiniteCircle.StrongLocal.offsetLocal line 47
6. theorem OAI.FiniteCircle.strongLocal_substitutionBounds line 123
7. theorem OAI.FiniteCircle.SubstitutionBounds.weaken line 134
8. theorem OAI.FiniteCircle.offsetLocal_substitutionBounds line 144
9. theorem OAI.FiniteCircle.two_codes line 163