OAI/MathematicalPhysics/AlternatingFlow/FieldPrograms.lean

GitHub source file

21 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.AlternatingNS.Effective.JetBound line 14
  2. lemma OAI.AlternatingNS.Effective.Certified.jetBound line 18
  3. lemma OAI.AlternatingNS.Effective.JetBound.congr line 23
  4. lemma OAI.AlternatingNS.Effective.JetBound.param line 26
  5. lemma OAI.AlternatingNS.Effective.JetBound.comp_unit line 31
  6. lemma OAI.AlternatingNS.Effective.JetBound.linear_unit line 39
  7. lemma OAI.AlternatingNS.Effective.Scaled.jetBound line 47
  8. lemma OAI.AlternatingNS.Effective.norm_proj line 59
  9. lemma OAI.AlternatingNS.Effective.norm_fst line 62
  10. lemma OAI.AlternatingNS.Effective.norm_snd line 65
  11. lemma OAI.AlternatingNS.Effective.JetBound.named_wordJet line 68
  12. lemma OAI.AlternatingNS.Effective.JetBound.named_directional line 74
  13. lemma OAI.AlternatingNS.Effective.Certified.sum3 line 83
  14. lemma OAI.AlternatingNS.Effective.Certified.dx line 87
  15. lemma OAI.AlternatingNS.Effective.Certified.fullDt line 92
  16. lemma OAI.AlternatingNS.Effective.Certified.component line 97
  17. lemma OAI.AlternatingNS.Effective.Certified.advection line 101
  18. lemma OAI.AlternatingNS.Effective.Certified.laplacian line 106
  19. def OAI.AlternatingNS.Effective.fullForce line 109
  20. lemma OAI.AlternatingNS.Effective.force_certified line 113
  21. lemma OAI.AlternatingNS.Effective.fullForce_half line 117