OAI/MathematicalPhysics/NavierStokes/BalancedTransport/Routing.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. lemma OAI.BalancedTransport.Geometry.finite_upper_bound line 10
2. lemma OAI.BalancedTransport.Geometry.finite_positive_lower_bound line 15
3. lemma OAI.BalancedTransport.Geometry.BoxLayout.Separated.mono line 32
4. lemma OAI.BalancedTransport.Geometry.BoxLayout.Separated.positive_margin line 38
5. lemma OAI.BalancedTransport.Geometry.BoxLayout.center_injective line 59
6. lemma OAI.BalancedTransport.Geometry.centerSeparated_of_norm line 68
7. lemma OAI.BalancedTransport.Geometry.exists_expansion line 77
8. lemma OAI.BalancedTransport.Geometry.exists_parking line 104
9. theorem OAI.BalancedTransport.Geometry.guarded_solid_box_motion line 158