OAI/Geometry/PrescribedPotential/PoissonEquivalence.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

Poisson Equivalence.

  1. lemma OAI.GlobalElliptic.complexL_const line 24
  2. lemma OAI.GlobalElliptic.GluingData.completedL_constants line 36
  3. def OAI.GlobalElliptic.GluingData.poissonBounded line 41
  4. lemma OAI.GlobalElliptic.GluingData.poissonBounded_equation line 46
  5. lemma OAI.GlobalElliptic.GluingData.poissonBounded_normalized line 53
  6. lemma OAI.GlobalElliptic.GluingData.completedL_constant_kernel line 62
  7. def OAI.GlobalElliptic.GluingData.augmentedL line 91
  8. lemma OAI.GlobalElliptic.GluingData.augmentedL_apply line 97
  9. lemma OAI.GlobalElliptic.GluingData.augmentedL_bijective line 101
  10. def OAI.GlobalElliptic.GluingData.poissonEquiv line 129