OAI/MathematicalPhysics/AlternatingFlow/MixedPrograms.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.AlternatingNS.Effective.wordJet_linear line 14
  2. lemma OAI.AlternatingNS.Effective.wordJet_component line 25
  3. lemma OAI.AlternatingNS.Effective.JetBound.named_component_words line 30
  4. lemma OAI.AlternatingNS.Effective.wordJet_append line 38
  5. lemma OAI.AlternatingNS.Effective.wordJet_dx line 44
  6. lemma OAI.AlternatingNS.Effective.wordJet_dt line 56
  7. def OAI.AlternatingNS.Effective.mixedWord line 70
  8. lemma OAI.AlternatingNS.Effective.wordJet_spatial line 74
  9. lemma OAI.AlternatingNS.Effective.mixed_eq_wordJet line 84
  10. lemma OAI.AlternatingNS.Effective.replicate_primrec line 91
  11. lemma OAI.AlternatingNS.Effective.mixedWord_computable line 102