OAI/NumberTheory/SiegelZeros/LocalAlgebra/JetCoefficients.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.SiegelZeros.Result.Workers.W57.jetCoeff line 14
  2. theorem OAI.SiegelZeros.Result.Workers.W57.jetCoeff_projection line 23
  3. def OAI.SiegelZeros.Result.Workers.W57.jetResidue line 26
  4. theorem OAI.SiegelZeros.Result.Workers.W57.jetResidue_projection line 33
  5. def OAI.SiegelZeros.Result.Workers.W57.rectangleCoeff line 37
  6. theorem OAI.SiegelZeros.Result.Workers.W57.rectangleCoeff_projection line 43
  7. def OAI.SiegelZeros.Result.Workers.W57.rectangleResidue line 51
  8. theorem OAI.SiegelZeros.Result.Workers.W57.rectangleResidue_projection line 56
  9. theorem OAI.SiegelZeros.Result.Workers.W57.rectangleCoeff_taylor line 66
  10. theorem OAI.SiegelZeros.Result.Workers.W57.rectangleResidue_taylor line 75
  11. def OAI.SiegelZeros.Result.Workers.W57.rectangleAugmentation line 83
  12. theorem OAI.SiegelZeros.Result.Workers.W57.ideal_le_augmentation_comap line 86