OAI/NumberTheory/PiExponent/LocalAlgebra/PrimeHypersurfaceDimension.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PiExponentJets.W24.proper_prime_cut_dimension_succ_le line 16
2. theorem OAI.PiExponentJets.W24.proper_prime_cut_dimension_le line 28
3. theorem OAI.PiExponentJets.W24.proper_prime_cut_relative_height_eq_one line 41
4. theorem OAI.PiExponentJets.W24.proper_prime_cut_relative_local_dimension line 65
5. theorem OAI.PiExponentJets.W24.minimal_proper_prime_cut_dimension_le line 84