OAI/NumberTheory/SiegelZeros/LocalAlgebra/ParameterChoices.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SiegelZeros.WeightedTorusJets.ParameterChoices.first_term_bound line 14
2. theorem OAI.SiegelZeros.WeightedTorusJets.ParameterChoices.choose_weight line 18
3. theorem OAI.SiegelZeros.WeightedTorusJets.ParameterChoices.choose_exponent line 32
4. theorem OAI.SiegelZeros.WeightedTorusJets.ParameterChoices.choose_exponent_quotient line 41
5. theorem OAI.SiegelZeros.WeightedTorusJets.ParameterChoices.choose_weight_then_exponent line 51
6. theorem OAI.SiegelZeros.WeightedTorusJets.ParameterChoices.explicit_pivot_weight line 64
7. theorem OAI.SiegelZeros.WeightedTorusJets.ParameterChoices.allowances_sum line 68