OAI/MathematicalPhysics/NavierStokes/BalancedTransport/RationalAlgorithms.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.BalancedTransport.Effectivity.computable_ite line 8
  2. lemma OAI.BalancedTransport.Effectivity.primrec_int_nonneg line 15
  3. lemma OAI.BalancedTransport.Effectivity.primrec_int_le line 23
  4. lemma OAI.BalancedTransport.Effectivity.computable_rat_le line 28
  5. lemma OAI.BalancedTransport.Effectivity.computable_rat_abs line 43
  6. lemma OAI.BalancedTransport.Effectivity.computable_rat_sub line 50
  7. lemma OAI.BalancedTransport.Effectivity.computable_rat_natCast line 54
  8. lemma OAI.BalancedTransport.Effectivity.computable_rat_intCast line 58
  9. lemma OAI.BalancedTransport.Effectivity.primrec_int_sign line 62
  10. lemma OAI.BalancedTransport.Effectivity.computable_rat_inv line 72
  11. lemma OAI.BalancedTransport.Effectivity.computable_rat_div line 85
  12. lemma OAI.BalancedTransport.Effectivity.primrec_nat_factorial line 89
  13. lemma OAI.BalancedTransport.Effectivity.computable_rat_pow line 100
  14. lemma OAI.BalancedTransport.Effectivity.computable_sum_range line 113