OAI/MathematicalPhysics/NavierStokes/BalancedTransport/Material.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.BalancedTransport.Geometry.exists_curve_on_interval line 11
  2. lemma OAI.BalancedTransport.Geometry.hasDerivWithinAt_forward_of_Icc line 45
  3. lemma OAI.BalancedTransport.Geometry.curves_agree_on_overlap line 53
  4. theorem OAI.BalancedTransport.Geometry.exists_global_curve line 73
  5. theorem OAI.BalancedTransport.Geometry.exists_materialFlow_of_bounded_lipschitz line 108
  6. theorem OAI.BalancedTransport.Geometry.materialFlow_unique line 116
  7. lemma OAI.BalancedTransport.Geometry.norm_linearMap_le_sum_basis line 127
  8. lemma OAI.BalancedTransport.Geometry.spatial_lipschitz_of_boundedMixed line 145
  9. theorem OAI.BalancedTransport.Geometry.exists_materialFlow_of_boundedMixed line 156
  10. theorem OAI.BalancedTransport.Geometry.exists_materialFlow_of_compact_repeating line 167