OAI/MathematicalPhysics/NavierStokes/BalancedTransport/UniversalInput.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. instance OAI.BalancedTransport.Universal.(instance at line 10) line 10
2. instance OAI.BalancedTransport.Universal.(instance at line 12) line 12
3. lemma OAI.BalancedTransport.Universal.trNat_rec line 14
4. lemma OAI.BalancedTransport.Universal.computable_trNat line 49
5. abbrev OAI.BalancedTransport.Universal.StackAlphabet line 77
6. instance OAI.BalancedTransport.Universal.(instance at line 79) line 79
7. instance OAI.BalancedTransport.Universal.(instance at line 82) line 82
8. lemma OAI.BalancedTransport.Universal.computable_trInit line 85
9. lemma OAI.BalancedTransport.Universal.computable_translatedInput line 95