OAI/NumberTheory/EgyptianFractions/CountingPadding.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Problem337.CountingPadding.pad line 9
2. lemma OAI.Problem337.CountingPadding.strictMono_snoc line 13
3. lemma OAI.Problem337.CountingPadding.pad_strictMono line 24
4. lemma OAI.Problem337.CountingPadding.pad_positive line 42
5. lemma OAI.Problem337.CountingPadding.pad_sum line 55
6. lemma OAI.Problem337.CountingPadding.pad_injective line 67
7. lemma OAI.Problem337.CountingPadding.last_gt_one line 77
8. lemma OAI.Problem337.CountingPadding.pad_isOneExpansion line 82
9. lemma OAI.Problem337.CountingPadding.F_succ_le line 88
10. lemma OAI.Problem337.CountingPadding.F_le_succ line 94
11. lemma OAI.Problem337.CountingPadding.F_le_of_le line 99