OAI/NumberTheory/SiegelZeros/Estimates/GlobalConstants.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.SiegelZeros.SiegelZerosAwei.Workers.W15.constantSectionMap line 20
2. theorem OAI.SiegelZeros.SiegelZerosAwei.Workers.W15.constantSectionMap_bijective line 23
3. theorem OAI.SiegelZeros.SiegelZerosAwei.Workers.W15.globalSection_existsUnique_constant line 31
4. theorem OAI.SiegelZeros.SiegelZerosAwei.Workers.W15.rationalFunction_constant_of_global line 39