OAI/Geometry/HeilbronnTriangle/DigitUnits.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem355.DigitUnits.baseValue line 10
2. lemma OAI.Problem355.DigitUnits.baseValue_succ line 13
3. lemma OAI.Problem355.DigitUnits.baseValue_mod line 25
4. theorem OAI.Problem355.DigitUnits.baseValue_isUnit line 31
5. theorem OAI.Problem355.DigitUnits.baseValue_isUnit_of_digit_bounds line 40
6. lemma OAI.Problem355.DigitUnits.count_mod_period line 47
7. lemma OAI.Problem355.DigitUnits.count_mod_mul line 61
8. theorem OAI.Problem355.DigitUnits.card_positive_residue_fiber line 70
9. theorem OAI.Problem355.DigitUnits.card_positive_residue_fiber_pow line 82
10. theorem OAI.Problem355.DigitUnits.card_positive_zmod_fiber line 87
11. def OAI.Problem355.DigitUnits.digitFiber line 99
12. def OAI.Problem355.DigitUnits.digitFiberEquiv line 102
13. lemma OAI.Problem355.DigitUnits.digitFiberEquiv_bounds line 107