OAI/Combinatorics/UniformKServer/RawWords.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.UniformKServer.RawWords.words line 11
2. theorem OAI.UniformKServer.RawWords.mem_words line 15
3. def OAI.UniformKServer.RawWords.upto line 35
4. theorem OAI.UniformKServer.RawWords.mem_upto line 37
5. theorem OAI.UniformKServer.RawWords.primitive_pow line 48
6. theorem OAI.UniformKServer.RawWords.primitive_words line 51
7. theorem OAI.UniformKServer.RawWords.primitive_upto line 59
8. theorem OAI.UniformKServer.RawWords.primitive_sum line 63
9. theorem OAI.UniformKServer.RawWords.primitive_Qsum line 67