OAI/Geometry/PrescribedPotential/GlobalTransport.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Global Transport.

  1. lemma OAI.GlobalElliptic.localize_tsupport line 23
  2. def OAI.GlobalElliptic.cutoffGlobal line 40
  3. lemma OAI.GlobalElliptic.cutoffGlobal_tsupport line 44
  4. def OAI.GlobalElliptic.overlapCutoff line 50
  5. lemma OAI.GlobalElliptic.overlapCutoff_apply line 66
  6. lemma OAI.GlobalElliptic.localize_globalize line 74
  7. theorem OAI.GlobalElliptic.globalize_even_bound line 87