OAI/NumberTheory/Ostmann/Characters/RichShellSelectionFinite.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Ostmann.Characters.three_separated_indices line 11
2. lemma OAI.Ostmann.Characters.five_large_weights line 23
3. lemma OAI.Ostmann.Characters.equal_children_density_increment line 45
4. lemma OAI.Ostmann.Characters.density_tree_good_node line 64