OAI/NumberTheory/ShortEgyptian/ResidueSystem.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.ShortEgyptian.ResidueSystem line 14
2. lemma OAI.ShortEgyptian.terminal_interval line 32
3. lemma OAI.ShortEgyptian.assemble_residueSystem line 48
4. lemma OAI.ShortEgyptian.exists_residueSystem line 137