OAI/Combinatorics/TreeEdit/CapInversion.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.TreeEdit.sqrt_log_cap line 11
2. lemma OAI.TreeEdit.near_cap line 56
3. theorem OAI.TreeEdit.all_caps_of_witnesses line 76
4. lemma OAI.TreeEdit.eventually_exponential_lower line 109