OAI/MathematicalPhysics/NavierStokes/BalancedTransport/ElementaryRouting.lean

GitHub source file

6 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.BalancedTransport.Effectivity.RationalConstant.max line 11
2. lemma OAI.BalancedTransport.Effectivity.finite_upper_bound_nat line 17
3. lemma OAI.BalancedTransport.Effectivity.scale_separation_mono line 24
4. lemma OAI.BalancedTransport.Effectivity.exists_nat_expansion line 33
5. lemma OAI.BalancedTransport.Effectivity.exists_rational_parking line 44
6. theorem OAI.BalancedTransport.Effectivity.elementary_guarded_solid_box_motion line 109