OAI/Analysis/FreeWords/ColoredSplit.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.KKLocalPatching.Colored.first_true_split line 14
2. theorem OAI.KKLocalPatching.Colored.eq_old_of_no_true line 31
3. inductive OAI.KKLocalPatching.Colored.Split line 43
4. theorem OAI.KKLocalPatching.Colored.split_nonempty line 50
5. def OAI.KKLocalPatching.Colored.split line 58
6. def OAI.KKLocalPatching.Colored.Split.exponent line 65
7. def OAI.KKLocalPatching.Colored.Split.gap line 69
8. def OAI.KKLocalPatching.Colored.Split.coefficient line 73