OAI/Combinatorics/TreeEdit/CircleParameters.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.TreeEdit.TorusTree.wordLength line 9
2. def OAI.TreeEdit.TorusTree.alphabetSize line 10
3. def OAI.TreeEdit.TorusTree.binaryWidth line 11
4. def OAI.TreeEdit.TorusTree.binaryLength line 12
5. lemma OAI.TreeEdit.TorusTree.wordLength_ge line 14
6. lemma OAI.TreeEdit.TorusTree.binaryLength_ge line 23
7. lemma OAI.TreeEdit.TorusTree.binaryWidth_le line 26
8. lemma OAI.TreeEdit.TorusTree.branching_le_power line 47
9. lemma OAI.TreeEdit.TorusTree.binaryLength_le_power line 54
10. lemma OAI.TreeEdit.TorusTree.length_log_bound line 68