OAI/NumberTheory/EgyptianFractions/PrimeObstruction.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.Problem337.prime_dvd_num_of_fraction line 7
2. lemma OAI.Problem337.prime_not_dvd_den_sum line 24
3. lemma OAI.Problem337.prime_not_dvd_den_unit_sum line 38
4. lemma OAI.Problem337.prime_successor_unit_obstruction line 48
5. lemma OAI.Problem337.prime_product_unit_obstruction line 67
6. lemma OAI.Problem337.prime_successor_prefix_obstruction line 87
7. lemma OAI.Problem337.prime_product_prefix_obstruction line 93