OAI/NumberTheory/PiExponent/LocalAlgebra/CoordinateTranscendenceLocalization.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.PiExponentJets.PolynomialLocalResidueResolution.residueCoordinate_aeval line 13
2. theorem OAI.PiExponentJets.PolynomialLocalResidueResolution.residueCoordinate_adjoin_top line 23
3. theorem OAI.PiExponentJets.PolynomialLocalResidueResolution.exists_coordinate_residue_basis line 36
4. theorem OAI.PiExponentJets.PolynomialLocalResidueResolution.exists_coordinate_basis_indices line 50