OAI/Geometry/PrescribedPotential/HigherDirectionalJets.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

Higher Directional Jets.

  1. def OAI.HigherJet.dir line 18
  2. def OAI.HigherJet.word line 20
  3. lemma OAI.HigherJet.dir_smoothAt line 24
  4. lemma OAI.HigherJet.dir_smoothOn line 28
  5. lemma OAI.HigherJet.word_smoothOn line 32
  6. lemma OAI.HigherJet.dir_congr line 38
  7. lemma OAI.HigherJet.word_congr line 41
  8. lemma OAI.HigherJet.dir_dir line 48
  9. lemma OAI.HigherJet.dir_comm line 54
  10. lemma OAI.HigherJet.dir_word_comm line 61
  11. lemma OAI.HigherJet.word_dir_dir_comm line 71
  12. lemma OAI.HigherJet.word_ofFn_eq line 79
  13. lemma OAI.HigherJet.norm_word_ofFn_le line 95