OAI/MathematicalPhysics/NavierStokes/BalancedTransport/ComputableInitial.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.BalancedTransport.Effectivity.computable_rationalWord line 11
2. lemma OAI.BalancedTransport.Effectivity.computable_rationalTailCode line 29
3. lemma OAI.BalancedTransport.Effectivity.computable_rationalInitial line 37
4. lemma OAI.BalancedTransport.Effectivity.rationalInitial_bounded line 60
5. lemma OAI.BalancedTransport.Effectivity.fixedLabel_bound line 79
6. lemma OAI.BalancedTransport.Effectivity.loadingSupport_ball line 82