OAI/NumberTheory/Ostmann/Tree/CycleWalk.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Ostmann.Tree.cyclic_edge_injective line 8
2. lemma OAI.Ostmann.Tree.zmod_add_one_twice_ne line 28
3. lemma OAI.Ostmann.Tree.cycle_adj_next line 36
4. def OAI.Ostmann.Tree.CyclicIncidence.ofWalk line 52
5. theorem OAI.Ostmann.Tree.exists_balanced_selection line 100