OAI/NumberTheory/OrdinaryCorrelations/HighTrace/TreeEdge.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.OrdinaryCorrelations.NumericalSubtrees.treeEdge line 19
2. lemma OAI.OrdinaryCorrelations.NumericalSubtrees.grows_full_tree line 22
3. lemma OAI.OrdinaryCorrelations.NumericalSubtrees.reached_full_tree line 30
4. theorem OAI.OrdinaryCorrelations.NumericalSubtrees.grown_tour line 45