OAI/NumberTheory/PowerFree/RadialFibres.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.QuarticPowerFree.quartic_radial_fibre_count line 11
2. theorem OAI.QuarticPowerFree.quartic_indexed_count line 74
3. def OAI.QuarticPowerFree.quarticLowerEta line 188
4. def OAI.QuarticPowerFree.quarticUpperEta line 189
5. lemma OAI.QuarticPowerFree.quartic_eta_U line 190
6. lemma OAI.QuarticPowerFree.quartic_eta_V line 193
7. theorem OAI.QuarticPowerFree.quartic_prime_bin line 198
8. theorem OAI.QuarticPowerFree.quartic_bin_exponents line 222
9. theorem OAI.QuarticPowerFree.balanced_coordinates_quarticbox line 250