OAI/MathematicalPhysics/NavierStokes/Material/SpatialL2.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.Alternating.spatialD_iterate_smooth line 11
  2. theorem OAI.Alternating.spatialPartial_smooth line 18
  3. theorem OAI.Alternating.spatialD_finiteCombination line 23
  4. theorem OAI.Alternating.spatialD_iterate_finiteCombination line 35
  5. theorem OAI.Alternating.spatialPartial_finiteCombination line 46
  6. theorem OAI.Alternating.tsupport_spatialD_iterate_subset line 56
  7. theorem OAI.Alternating.spatialPartial_hasCompactSupport line 64
  8. theorem OAI.Alternating.SlotL2.mem line 77
  9. def OAI.Alternating.SlotL2.component line 81
  10. def OAI.Alternating.SlotL2.finiteLift line 83
  11. theorem OAI.Alternating.SlotL2.finiteLift_continuous line 86
  12. theorem OAI.Alternating.SlotL2.finiteLift_ae line 92
  13. theorem OAI.Alternating.SlotL2.finiteLift_hasDerivAt line 103