OAI/MathematicalPhysics/NavierStokes/BalancedTransport/Sobolev.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.BalancedTransport.Geometry.SpatiallySupported.hasCompactSupport line 12
  2. lemma OAI.BalancedTransport.Geometry.JointSmooth.memLp line 19
  3. def OAI.BalancedTransport.Geometry.supportedL2Curve line 24
  4. lemma OAI.BalancedTransport.Geometry.supportedL2Curve_coe line 28
  5. def OAI.BalancedTransport.Geometry.supportL2Size line 32
  6. lemma OAI.BalancedTransport.Geometry.supportL2Size_nonneg line 35
  7. lemma OAI.BalancedTransport.Geometry.lp_norm_bound_of_support line 39
  8. lemma OAI.BalancedTransport.Geometry.time_difference_bound line 51
  9. lemma OAI.BalancedTransport.Geometry.time_remainder_bound line 59
  10. lemma OAI.BalancedTransport.Geometry.supportedL2Curve_difference_bound line 81
  11. lemma OAI.BalancedTransport.Geometry.supportedL2Curve_continuousOn line 95
  12. lemma OAI.BalancedTransport.Geometry.supportedL2Curve_hasDerivWithinAt line 109
  13. lemma OAI.BalancedTransport.Geometry.spatialD_eq_fullMixedD line 136
  14. theorem OAI.BalancedTransport.Geometry.CH_of_compact_boundedMixed line 142
  15. theorem OAI.BalancedTransport.Geometry.C1L2_of_compact_boundedMixed line 161
  16. lemma OAI.BalancedTransport.Geometry.boundedOnFiniteSlabs_of_boundedMixed line 183
  17. lemma OAI.BalancedTransport.Geometry.spatialD_zero line 198
  18. lemma OAI.BalancedTransport.Geometry.CH_zero line 206
  19. theorem OAI.BalancedTransport.Geometry.comparisonClass_of_compact_boundedMixed line 212