OAI/NumberTheory/ShortEgyptian/TerminalScale.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.ShortEgyptian.terminalSteps line 12
2. def OAI.ShortEgyptian.terminalLength line 13
3. def OAI.ShortEgyptian.terminalConstant line 14
4. lemma OAI.ShortEgyptian.terminalSteps_power line 16
5. lemma OAI.ShortEgyptian.terminalLength_bound line 24
6. lemma OAI.ShortEgyptian.residueSystem_terminal_induction line 35
7. lemma OAI.ShortEgyptian.residueSystem_terminal line 90