OAI/Geometry/HypersurfaceGerms/Parameters.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

Common arithmetic parameter choices and their coprime indices.

  1. def OAI.AmbientMultiplicity.Parameters.nextN line 10
  2. def OAI.AmbientMultiplicity.Parameters.exponent line 11
  3. def OAI.AmbientMultiplicity.Parameters.alpha line 12
  4. def OAI.AmbientMultiplicity.Parameters.beta line 13
  5. def OAI.AmbientMultiplicity.Parameters.Choice line 14
  6. def OAI.AmbientMultiplicity.Parameters.CommonConditions line 18
  7. lemma OAI.AmbientMultiplicity.Parameters.choice_exists line 28
  8. lemma OAI.AmbientMultiplicity.Parameters.exact_exponent line 41
  9. lemma OAI.AmbientMultiplicity.Parameters.choice_common line 48
  10. theorem OAI.AmbientMultiplicity.Parameters.common_parameters_reference line 110
  11. def OAI.AmbientMultiplicity.Parameters.IndexConditions line 118
  12. lemma OAI.AmbientMultiplicity.Parameters.exponent_mod_five line 128
  13. lemma OAI.AmbientMultiplicity.Parameters.exponent_two_power line 136
  14. lemma OAI.AmbientMultiplicity.Parameters.bounded_bezout line 158
  15. lemma OAI.AmbientMultiplicity.Parameters.positive_indices line 202
  16. theorem OAI.AmbientMultiplicity.Parameters.parameter_indices_reference line 287