OAI/Geometry/PrescribedPotential/TruncatedRellich.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

Truncated Rellich.

  1. lemma OAI.EllipticCompact.multiply_ae line 22
  2. lemma OAI.EllipticCompact.multiply_toLp line 29
  3. lemma OAI.EllipticCompact.kernelSection_inner line 38
  4. def OAI.EllipticCompact.sectionsOn line 50
  5. lemma OAI.EllipticCompact.sectionsOn_core line 55
  6. lemma OAI.EllipticCompact.localize_sections_core line 65
  7. lemma OAI.EllipticCompact.truncated_core line 79
  8. lemma OAI.EllipticCompact.compact_truncated line 90