OAI/Geometry/PrescribedPotential/GlobalParametrix.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

Global Parametrix.

  1. abbrev OAI.Anticanonical.SourceSmooth.ParametrixPatch.matrix line 23
  2. lemma OAI.Anticanonical.SourceSmooth.ParametrixPatch.positive line 24
  3. def OAI.Anticanonical.SourceSmooth.ParametrixPatch.localInverse line 29
  4. lemma OAI.Anticanonical.SourceSmooth.ParametrixPatch.localInverse_bound line 34
  5. theorem OAI.GlobalElliptic.globalize_integer_bound line 45
  6. def OAI.GlobalElliptic.GluingData.forcing line 65
  7. lemma OAI.GlobalElliptic.GluingData.forcing_bound line 68
  8. def OAI.GlobalElliptic.GluingData.parametrix line 73
  9. lemma OAI.GlobalElliptic.GluingData.parametrix_apply line 77
  10. lemma OAI.GlobalElliptic.GluingData.parametrix_piece_bound line 82
  11. lemma OAI.GlobalElliptic.GluingData.parametrix_bound line 98
  12. lemma OAI.GlobalElliptic.GluingData.forcing_reconstruction line 110