OAI/MathematicalPhysics/SheetFlows/Pulses.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

SheetFlows pulses.

  1. theorem OAI.Solenoidal.sheet_theorem_empty line 15
  2. structure OAI.Solenoidal.StationaryPulse line 40
  3. def OAI.Solenoidal.StationaryPulse.apply line 51
  4. def OAI.Solenoidal.StationaryPulse.scale line 53
  5. def OAI.Solenoidal.StationaryPulse.tensor line 75
  6. def OAI.Solenoidal.runProgram line 92
  7. theorem OAI.Solenoidal.runProgram_nil line 95
  8. theorem OAI.Solenoidal.runProgram_cons line 96
  9. theorem OAI.Solenoidal.runProgram_append line 98
  10. theorem OAI.Solenoidal.runProgram_fixed line 101
  11. theorem OAI.Solenoidal.stageState_list_eq line 111
  12. theorem OAI.Solenoidal.program_realization line 124