OAI/NumberTheory/PiExponent/LocalAlgebra/AffineResidueTranscendence.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PiExponentJets.W24.trdeg_lt_aleph0_of_algebraic_tower line 10
2. theorem OAI.PiExponentJets.W24.affine_prime_quotient_dimension_eq_residue_trdeg line 22
3. theorem OAI.PiExponentJets.W24.affine_prime_quotient_dimension_eq_basis_card line 32
4. theorem OAI.PiExponentJets.W24.rational_coefficient_trdeg_toNat line 42
5. theorem OAI.PiExponentJets.W24.rational_coefficient_trdeg_lt_aleph0 line 48
6. theorem OAI.PiExponentJets.W24.coefficient_trdeg_eq_prime_quotient_dimension line 58