OAI/MathematicalPhysics/NavierStokes/BalancedTransport/ComputabilityRules.lean

GitHub source file

25 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.BalancedTransport.Effectivity.ComputableRules.identity line 10
  2. lemma OAI.BalancedTransport.Effectivity.ComputableRules.constant line 12
  3. lemma OAI.BalancedTransport.Effectivity.ComputableRules.compose line 14
  4. lemma OAI.BalancedTransport.Effectivity.ComputableRules.fst line 17
  5. lemma OAI.BalancedTransport.Effectivity.ComputableRules.snd line 20
  6. lemma OAI.BalancedTransport.Effectivity.ComputableRules.pair line 23
  7. lemma OAI.BalancedTransport.Effectivity.ComputableRules.addNat line 26
  8. lemma OAI.BalancedTransport.Effectivity.ComputableRules.mulNat line 28
  9. lemma OAI.BalancedTransport.Effectivity.ComputableRules.subNat line 30
  10. lemma OAI.BalancedTransport.Effectivity.ComputableRules.succNat line 32
  11. lemma OAI.BalancedTransport.Effectivity.ComputableRules.constAddRat line 34
  12. lemma OAI.BalancedTransport.Effectivity.ComputableRules.constMulRat line 36
  13. lemma OAI.BalancedTransport.Effectivity.ComputableRules.negRat line 38
  14. lemma OAI.BalancedTransport.Effectivity.ComputableRules.invRat line 40
  15. lemma OAI.BalancedTransport.Effectivity.ComputableRules.absNat line 42
  16. lemma OAI.BalancedTransport.Effectivity.ComputableRules.ratNum line 44
  17. lemma OAI.BalancedTransport.Effectivity.ComputableRules.consList line 46
  18. lemma OAI.BalancedTransport.Effectivity.ComputableRules.appendList line 48
  19. lemma OAI.BalancedTransport.Effectivity.ComputableRules.lengthList line 50
  20. lemma OAI.BalancedTransport.Effectivity.ComputableRules.getDList line 52
  21. lemma OAI.BalancedTransport.Effectivity.ComputableRules.valFin line 55
  22. lemma OAI.BalancedTransport.Effectivity.ComputableRules.appFin line 57
  23. lemma OAI.BalancedTransport.Effectivity.ComputableRules.ofFnList line 59
  24. lemma OAI.BalancedTransport.Effectivity.ComputableRules.mapList line 62
  25. lemma OAI.BalancedTransport.Effectivity.ComputableRules.flatMapList line 76