OAI/MathematicalPhysics/NavierStokes/VelocityDetection/MachineHistory.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.VelocityDetection.MachineHistory.table line 20

    Also declared: ComparatorChallenges/NavierStokesVelocity.lean:509 (same declaration text).

  2. def OAI.VelocityDetection.MachineHistory.initial line 24

    Also declared: ComparatorChallenges/NavierStokesVelocity.lean:513 (same declaration text).

  3. def OAI.VelocityDetection.MachineHistory.initialExponent line 27
  4. theorem OAI.VelocityDetection.MachineHistory.exponent_pos line 29
  5. theorem OAI.VelocityDetection.MachineHistory.initial_fits line 33
  6. theorem OAI.VelocityDetection.MachineHistory.initial_active line 38
  7. theorem OAI.VelocityDetection.MachineHistory.halts_iff line 42
  8. theorem OAI.VelocityDetection.MachineHistory.history_halts_iff line 48
  9. theorem OAI.VelocityDetection.MachineHistory.history_fits line 54