OAI/NumberTheory/SiegelZeros/LocalAlgebra/AffineResidueTranscendence.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SiegelZeros.WeightedTorusJets.W24.trdeg_lt_aleph0_of_algebraic_tower line 14
2. theorem OAI.SiegelZeros.WeightedTorusJets.W24.affine_prime_quotient_dimension_eq_residue_trdeg line 26
3. theorem OAI.SiegelZeros.WeightedTorusJets.W24.affine_prime_quotient_dimension_eq_basis_card line 36
4. theorem OAI.SiegelZeros.WeightedTorusJets.W24.rational_coefficient_trdeg_toNat line 46
5. theorem OAI.SiegelZeros.WeightedTorusJets.W24.rational_coefficient_trdeg_lt_aleph0 line 52
6. theorem OAI.SiegelZeros.WeightedTorusJets.W24.coefficient_trdeg_eq_prime_quotient_dimension line 62