OAI/Geometry/PrescribedPotential/NonlinearScale.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

Nonlinear Scale.

  1. def OAI.GlobalElliptic.Localizers.realLower line 31
  2. lemma OAI.GlobalElliptic.Localizers.realLower_embed line 36
  3. lemma OAI.GlobalElliptic.Localizers.realLower_injective line 41
  4. lemma OAI.GlobalElliptic.GluingData.realVolume_embed line 59
  5. lemma OAI.GlobalElliptic.GluingData.realVolume_lower line 67
  6. lemma OAI.GlobalElliptic.GluingData.realVolumeDerivative_lower line 86
  7. def OAI.GlobalElliptic.GluingData.linearizedVolume line 105
  8. lemma OAI.GlobalElliptic.GluingData.linearizedVolume_zero line 114
  9. lemma OAI.GlobalElliptic.GluingData.linearizedVolume_continuous line 119
  10. lemma OAI.GlobalElliptic.GluingData.linearizedVolume_invertible_nhds line 135