OAI/NumberTheory/SiegelZeros/LocalAlgebra/ParameterIntegration.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SiegelZeros.W20.exists_constant_span_finset_of_height line 21
2. theorem OAI.SiegelZeros.W20.exists_constant_span_parameter_finset line 78
3. theorem OAI.SiegelZeros.W20.exists_constant_coefficients_parameter_finset line 122
4. theorem OAI.SiegelZeros.W20.exists_degree_bounded_polynomial_parameters line 152
5. theorem OAI.SiegelZeros.W20.localized_maximalIdeal_height line 223
6. theorem OAI.SiegelZeros.W20.exists_localized_polynomial_parameters line 230
7. theorem OAI.SiegelZeros.W20.exists_exact_localized_polynomial_parameters line 257