OAI/MathematicalPhysics/NavierStokes/BalancedTransport/NumericJets.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.BalancedTransport.Effectivity.NumericOp.dual_register line 10
  2. lemma OAI.BalancedTransport.Effectivity.NumericOp.dual_length line 15
  3. lemma OAI.BalancedTransport.Effectivity.NumericOp.dual_scoped line 19
  4. def OAI.BalancedTransport.Effectivity.NumericProgram.jetStep line 33
  5. lemma OAI.BalancedTransport.Effectivity.NumericProgram.jetStep_length line 36
  6. lemma OAI.BalancedTransport.Effectivity.NumericProgram.jetStep_scoped line 42
  7. lemma OAI.BalancedTransport.Effectivity.NumericProgram.jetStep_closed line 50
  8. lemma OAI.BalancedTransport.Effectivity.NumericProgram.jetStep_validFrom line 53
  9. lemma OAI.BalancedTransport.Effectivity.NumericProgram.jetStep_valid line 74
  10. lemma OAI.BalancedTransport.Effectivity.NumericProgram.jetStep_hasDerivAtFrom line 77
  11. lemma OAI.BalancedTransport.Effectivity.NumericProgram.differentiableAtFrom line 112
  12. lemma OAI.BalancedTransport.Effectivity.NumericProgram.differentiableAt line 126
  13. lemma OAI.BalancedTransport.Effectivity.NumericProgram.jetStep_real line 130