OAI/MathematicalPhysics/NavierStokes/VelocityDetection/RoutingSupport.lean

GitHub source file

26 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.VelocityDetection.RoutingArray.force_finiteCylinderSupport line 26
  2. theorem OAI.VelocityDetection.RoutingArray.force_NavierStokes line 56
  3. theorem OAI.VelocityDetection.RoutingArray.localSupport_field line 69
  4. theorem OAI.VelocityDetection.RoutingArray.field_C1Tails line 80
  5. theorem OAI.VelocityDetection.RoutingArray.field_D_Tails line 85
  6. theorem OAI.VelocityDetection.RoutingArray.field_DD_Tails line 91
  7. theorem OAI.VelocityDetection.RoutingArray.comparisonClass_of_scalar_tails line 97
  8. theorem OAI.VelocityDetection.RoutingArray.field_slice_component line 135
  9. theorem OAI.VelocityDetection.RoutingArray.compactSupport_field_component line 140
  10. theorem OAI.VelocityDetection.RoutingArray.scalar_mass line 148
  11. theorem OAI.VelocityDetection.RoutingArray.scalar_properties_of_C1Tails line 172
  12. def OAI.VelocityDetection.RoutingArray.driftData line 207
  13. theorem OAI.VelocityDetection.RoutingArray.driftData_scalar line 212
  14. def OAI.VelocityDetection.RoutingArray.scalarSolution line 215
  15. theorem OAI.VelocityDetection.RoutingArray.contDiff_scalarSolution line 218
  16. theorem OAI.VelocityDetection.RoutingArray.scalarSolution_C1Tails line 222
  17. theorem OAI.VelocityDetection.RoutingArray.scalarSolution_D_Tails line 226
  18. theorem OAI.VelocityDetection.RoutingArray.scalarSolution_DD_Tails line 230
  19. theorem OAI.VelocityDetection.RoutingArray.scalarSolution_equation line 234
  20. theorem OAI.VelocityDetection.RoutingArray.scalarSolution_zero line 241
  21. theorem OAI.VelocityDetection.RoutingArray.scalarSolution_properties line 245
  22. def OAI.VelocityDetection.RoutingArray.velocity line 257
  23. theorem OAI.VelocityDetection.RoutingArray.contDiff_velocity line 260
  24. theorem OAI.VelocityDetection.RoutingArray.velocity_comparisonClass line 267
  25. theorem OAI.VelocityDetection.RoutingArray.velocity_NavierStokes line 276
  26. theorem OAI.VelocityDetection.RoutingArray.velocity_unique line 283