OAI/MathematicalPhysics/NavierStokes/VelocityDetection/TimeBlocks.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. structure OAI.VelocityDetection.TimeBlocks.Family line 13
  2. def OAI.VelocityDetection.TimeBlocks.total line 29
  3. def OAI.VelocityDetection.TimeBlocks.finiteSum line 31
  4. theorem OAI.VelocityDetection.TimeBlocks.eq_finite line 33
  5. theorem OAI.VelocityDetection.TimeBlocks.contDiff_total line 41
  6. theorem OAI.VelocityDetection.TimeBlocks.at_rest line 53
  7. theorem OAI.VelocityDetection.TimeBlocks.eq_term line 59
  8. theorem OAI.VelocityDetection.TimeBlocks.support line 70
  9. theorem OAI.VelocityDetection.TimeBlocks.periodic line 78
  10. theorem OAI.VelocityDetection.TimeBlocks.slice_derivative_congr line 92
  11. theorem OAI.VelocityDetection.TimeBlocks.slice_advection_congr line 98
  12. theorem OAI.VelocityDetection.TimeBlocks.advection_zero line 103
  13. theorem OAI.VelocityDetection.TimeBlocks.spatialD_sum line 109
  14. theorem OAI.VelocityDetection.TimeBlocks.laplacian_sum line 115
  15. theorem OAI.VelocityDetection.TimeBlocks.advection_sum line 128