OAI/Geometry/PrescribedPotential/FrozenEllipticJets.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

Frozen Elliptic Jets.

  1. def OAI.HigherJet.hessian line 21
  2. lemma OAI.HigherJet.hessian_smoothOn line 23
  3. lemma OAI.HigherJet.word_sum line 27
  4. lemma OAI.HigherJet.word_sub line 38
  5. lemma OAI.HigherJet.frameLaplace_word line 51
  6. lemma OAI.HigherJet.frozen_equation_word line 60