OAI/MathematicalPhysics/NavierStokes/BalancedTransport/ResidualRegularity.lean

GitHub source file

21 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.BalancedTransport.Geometry.ForwardEq line 13
  2. lemma OAI.BalancedTransport.Geometry.ForwardEq.mixedD line 15
  3. lemma OAI.BalancedTransport.Geometry.ForwardEq.smooth line 32
  4. lemma OAI.BalancedTransport.Geometry.JointSmooth.smooth line 37
  5. lemma OAI.BalancedTransport.Geometry.ForwardEq.boundedMixed line 39
  6. lemma OAI.BalancedTransport.Geometry.ForwardEq.repeatsAfter line 48
  7. lemma OAI.BalancedTransport.Geometry.JointSmooth.laplacian line 54
  8. lemma OAI.BalancedTransport.Geometry.JointSmooth.convection line 57
  9. def OAI.BalancedTransport.Geometry.fullInertial line 63
  10. lemma OAI.BalancedTransport.Geometry.JointSmooth.fullInertial line 65
  11. lemma OAI.BalancedTransport.Geometry.JointSmooth.viscousCoefficient line 68
  12. lemma OAI.BalancedTransport.Geometry.fullInertial_forwardEq line 71
  13. lemma OAI.BalancedTransport.Geometry.SpatiallySupported.laplacian line 78
  14. lemma OAI.BalancedTransport.Geometry.SpatiallySupported.convection line 83
  15. lemma OAI.BalancedTransport.Geometry.SpatiallySupported.fullInertial line 89
  16. lemma OAI.BalancedTransport.Geometry.SpatiallySupported.viscousCoefficient line 95
  17. lemma OAI.BalancedTransport.Geometry.RepeatsAfter.laplacian line 102
  18. lemma OAI.BalancedTransport.Geometry.RepeatsAfter.convection line 111
  19. lemma OAI.BalancedTransport.Geometry.RepeatsAfter.fullInertial line 118
  20. lemma OAI.BalancedTransport.Geometry.RepeatsAfter.viscousCoefficient line 125
  21. theorem OAI.BalancedTransport.Geometry.prescribed_residual_regularity line 132