OAI/Geometry/PrescribedPotential/HigherPoisson.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Higher Poisson.

  1. lemma OAI.LinearNormalization.feedback_lift line 21
  2. lemma OAI.GlobalElliptic.GluingData.resolventGain_order line 40
  3. def OAI.GlobalElliptic.GluingData.poissonCorrectionOrder line 52
  4. lemma OAI.GlobalElliptic.GluingData.poissonCorrectionOrder_lower line 57
  5. lemma OAI.GlobalElliptic.GluingData.poissonInput_step line 66
  6. theorem OAI.GlobalElliptic.GluingData.poissonInput_order line 98
  7. theorem OAI.GlobalElliptic.GluingData.poissonRaw_order line 113