OAI/MathematicalPhysics/NavierStokes/ForcedComputation/Programs/NonperiodicVector.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

Three-component moving-gate programs and their certified mixed jets.

  1. abbrev OAI.ForcedComputation.NonperiodicVector line 12
  2. def OAI.ForcedComputation.NonperiodicVector.val line 16
  3. def OAI.ForcedComputation.NonperiodicVector.diffWord line 18
  4. theorem OAI.ForcedComputation.NonperiodicVector.smooth line 21
  5. theorem OAI.ForcedComputation.NonperiodicVector.val_diffWord line 24
  6. def OAI.ForcedComputation.NonperiodicVector.bound line 38
  7. theorem OAI.ForcedComputation.NonperiodicVector.bound_nonneg line 41
  8. theorem OAI.ForcedComputation.NonperiodicVector.val_bound line 44
  9. def OAI.ForcedComputation.NonperiodicVector.evaluate line 54
  10. theorem OAI.ForcedComputation.NonperiodicVector.evaluate_spec line 58