OAI/Geometry/PrescribedPotential/TwoScaleRegularity.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

Two Scale Regularity.

  1. lemma OAI.GlobalElliptic.GluingData.realConstants_lower line 31
  2. lemma OAI.GlobalElliptic.GluingData.realEvaluation_embed line 37
  3. lemma OAI.GlobalElliptic.GluingData.realEvaluation_lower line 44
  4. def OAI.GlobalElliptic.GluingData.pairLower line 64
  5. lemma OAI.GlobalElliptic.GluingData.pairLower_apply line 70
  6. lemma OAI.GlobalElliptic.GluingData.linearizedVolume_apply line 75
  7. lemma OAI.GlobalElliptic.GluingData.linearizedVolume_lower line 86
  8. theorem OAI.GlobalElliptic.GluingData.linearizedVolume_local_gain line 116