OAI/NumberTheory/PiExponent/LocalAlgebra/StabilizedColonPowers.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.PiExponentJets.W06.colon_pow_zero line 14
2. theorem OAI.PiExponentJets.W06.colon_pow_succ line 19
3. theorem OAI.PiExponentJets.W06.colon_powers_monotone line 25
4. theorem OAI.PiExponentJets.W06.colon_pow_add_eq_of_succ_eq line 32
5. theorem OAI.PiExponentJets.W06.exists_colon_powers_eventually_constant line 41
6. theorem OAI.PiExponentJets.W06.exists_colon_pow_stable line 50
7. theorem OAI.PiExponentJets.W06.homogeneous_colon_pow line 60
8. theorem OAI.PiExponentJets.W06.homogeneous_colon_variable_pow line 73
9. theorem OAI.PiExponentJets.W06.exists_homogeneous_stable_colon_variable line 79