OAI/NumberTheory/OrdinaryCorrelations/HighTrace/TopologyTreeSteps.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.OrdinaryCorrelations.NumericalSubtrees.topology_treeSteps line 18
2. lemma OAI.OrdinaryCorrelations.NumericalSubtrees.topology_target_eq line 26
3. theorem OAI.OrdinaryCorrelations.NumericalSubtrees.topology_offset_pattern line 34
4. structure OAI.OrdinaryCorrelations.NumericalSubtrees.SameGeometry line 94
5. lemma OAI.OrdinaryCorrelations.NumericalSubtrees.sameGeometry_of_topology line 98
6. lemma OAI.OrdinaryCorrelations.NumericalSubtrees.SameGeometry.symm line 103
7. lemma OAI.OrdinaryCorrelations.NumericalSubtrees.SameGeometry.children line 106
8. lemma OAI.OrdinaryCorrelations.NumericalSubtrees.SameGeometry.root line 113
9. lemma OAI.OrdinaryCorrelations.NumericalSubtrees.SameGeometry.noReturn line 116
10. lemma OAI.OrdinaryCorrelations.NumericalSubtrees.SameGeometry.good line 120
11. lemma OAI.OrdinaryCorrelations.NumericalSubtrees.SameGeometry.grows line 123