OAI/Geometry/PrescribedPotential/JetEnergyCoercivity.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

Jet Energy Coercivity.

  1. lemma OAI.HigherJet.family_inner_lower line 19
  2. lemma OAI.HigherJet.familyEnergy_laplace_lower line 33
  3. lemma OAI.BernsteinEstimate.energy_first_numeric line 44
  4. lemma OAI.BernsteinEstimate.energy_cubic_numeric line 52
  5. lemma OAI.BernsteinEstimate.energy_linear_numeric line 72