OAI/MathematicalPhysics/NavierStokes/BalancedTransport/FieldBounds.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.BalancedTransport.Geometry.fullMixedD line 11
  2. lemma OAI.BalancedTransport.Geometry.JointSmooth.fullMixedD line 16
  3. lemma OAI.BalancedTransport.Geometry.JointSmooth.timeSlice line 25
  4. lemma OAI.BalancedTransport.Geometry.fullMixedD_eq_mixedD line 28
  5. def OAI.BalancedTransport.Geometry.SpatiallySupported line 44
  6. lemma OAI.BalancedTransport.Geometry.SpatiallySupported.fullTimeD line 47
  7. lemma OAI.BalancedTransport.Geometry.SpatiallySupported.spaceD line 55
  8. lemma OAI.BalancedTransport.Geometry.SpatiallySupported.fullMixedD line 66
  9. def OAI.BalancedTransport.Geometry.RepeatsAfter line 76
  10. lemma OAI.BalancedTransport.Geometry.RepeatsAfter.spaceD line 79
  11. lemma OAI.BalancedTransport.Geometry.RepeatsAfter.fullTimeD line 86
  12. lemma OAI.BalancedTransport.Geometry.RepeatsAfter.fullMixedD line 101
  13. lemma OAI.BalancedTransport.Geometry.RepeatsAfter.add_nat line 111
  14. lemma OAI.BalancedTransport.Geometry.RepeatsAfter.reduce line 119
  15. theorem OAI.BalancedTransport.Geometry.boundedMixed_of_compact_repeating line 131