OAI/Geometry/PrescribedPotential/WeakPositive.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Weak Positive.

  1. def OAI.GlobalElliptic.GluingData.weakMatrix line 34
  2. lemma OAI.GlobalElliptic.GluingData.weakMatrix_continuous line 38
  3. lemma OAI.GlobalElliptic.GluingData.weakMatrix_embed line 51
  4. lemma OAI.GlobalElliptic.GluingData.weakMatrix_hermitian line 67
  5. lemma OAI.GlobalElliptic.GluingData.weakMatrix_zero line 83
  6. def OAI.GlobalElliptic.GluingData.WeakPositive line 91
  7. lemma OAI.GlobalElliptic.GluingData.weakPositive_nhds line 94