OAI/MathematicalPhysics/NavierStokes/BalancedTransport/NumericPrograms.lean

GitHub source file

16 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.BalancedTransport.Effectivity.computable_foldl line 8
  2. lemma OAI.BalancedTransport.Effectivity.computable_fin_cases line 34
  3. abbrev OAI.BalancedTransport.Effectivity.NumericOp line 43
  4. abbrev OAI.BalancedTransport.Effectivity.NumericProgram line 45
  5. def OAI.BalancedTransport.Effectivity.NumericOp.tag line 53
  6. def OAI.BalancedTransport.Effectivity.NumericOp.rat line 55
  7. def OAI.BalancedTransport.Effectivity.NumericOp.left line 57
  8. def OAI.BalancedTransport.Effectivity.NumericOp.right line 59
  9. def OAI.BalancedTransport.Effectivity.NumericOp.real line 61
  10. def OAI.BalancedTransport.Effectivity.NumericOp.rationalCase line 77
  11. def OAI.BalancedTransport.Effectivity.NumericOp.rational line 93
  12. def OAI.BalancedTransport.Effectivity.NumericOp.boundCase line 96
  13. def OAI.BalancedTransport.Effectivity.NumericOp.bound line 115
  14. def OAI.BalancedTransport.Effectivity.NumericOp.Valid line 118
  15. lemma OAI.BalancedTransport.Effectivity.NumericOp.computable_rational line 121
  16. lemma OAI.BalancedTransport.Effectivity.NumericOp.computable_bound line 158