OAI/NumberTheory/PiExponent/Polynomials/PolynomialPrimeDimension.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PiExponentJets.W24.ringEquiv_localizedIdeal_map line 19
2. def OAI.PiExponentJets.W24.ringEquiv_localQuotient line 30
3. theorem OAI.PiExponentJets.W24.split_polynomial_prime_pair_local_dimension line 43
4. theorem OAI.PiExponentJets.W24.fin_polynomial_prime_pair_local_dimension line 90
5. theorem OAI.PiExponentJets.W24.polynomial_prime_pair_local_dimension line 117
6. theorem OAI.PiExponentJets.W24.polynomial_prime_pair_dimension line 136