OAI/NumberTheory/SiegelZeros/LocalAlgebra/StabilizedColonPowers.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.SiegelZeros.WeightedTorusJets.W06.colon_pow_zero line 18
2. theorem OAI.SiegelZeros.WeightedTorusJets.W06.colon_pow_succ line 23
3. theorem OAI.SiegelZeros.WeightedTorusJets.W06.colon_powers_monotone line 29
4. theorem OAI.SiegelZeros.WeightedTorusJets.W06.colon_pow_add_eq_of_succ_eq line 36
5. theorem OAI.SiegelZeros.WeightedTorusJets.W06.exists_colon_powers_eventually_constant line 45
6. theorem OAI.SiegelZeros.WeightedTorusJets.W06.exists_colon_pow_stable line 54
7. theorem OAI.SiegelZeros.WeightedTorusJets.W06.homogeneous_colon_pow line 65
8. theorem OAI.SiegelZeros.WeightedTorusJets.W06.homogeneous_colon_variable_pow line 78
9. theorem OAI.SiegelZeros.WeightedTorusJets.W06.exists_homogeneous_stable_colon_variable line 84