OAI/MathematicalPhysics/NavierStokes/VelocityDetection/PeriodizationSupportDAlong.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.VelocityDetection.Periodization.support_dAlong line 12
  2. theorem OAI.VelocityDetection.Periodization.boundedSupport_dAlong line 24
  3. theorem OAI.VelocityDetection.Periodization.dAlong_extend line 33
  4. theorem OAI.VelocityDetection.Periodization.deriv_eq_dAlong line 63
  5. theorem OAI.VelocityDetection.Periodization.deriv_extend line 70
  6. theorem OAI.VelocityDetection.Periodization.spatialD_extend line 77
  7. theorem OAI.VelocityDetection.Periodization.boundedSupport_spatialD line 88
  8. theorem OAI.VelocityDetection.Periodization.extend_sum line 95
  9. theorem OAI.VelocityDetection.Periodization.laplacian_extend line 109
  10. theorem OAI.VelocityDetection.Periodization.abs_extend_le line 124
  11. theorem OAI.VelocityDetection.Periodization.extend_periodic_mul line 135