OAI/MathematicalPhysics/SheetFlows/Routing.lean

GitHub source file

17 declarations, 0 contain sorry, 0 declared as axioms

SheetFlows routing.

  1. theorem OAI.Solenoidal.StationaryPulse.apply_of_field_zero line 13
  2. theorem OAI.Solenoidal.StationaryPulse.scale_apply_of_field_zero line 17
  3. theorem OAI.Solenoidal.verticalPulse_apply line 22
  4. def OAI.Solenoidal.evacuateProgram line 28
  5. theorem OAI.Solenoidal.evacuateProgram_on line 33
  6. theorem OAI.Solenoidal.evacuateProgram_off_input line 44
  7. theorem OAI.Solenoidal.evacuateProgram_off_output line 56
  8. def OAI.Solenoidal.instructionProgram line 68
  9. theorem OAI.Solenoidal.SheetData.image_mem line 76
  10. theorem OAI.Solenoidal.instructionProgram_on line 82
  11. theorem OAI.Solenoidal.instructionProgram_off_input line 112
  12. theorem OAI.Solenoidal.instructionProgram_off_output line 128
  13. theorem OAI.Solenoidal.runProgram_flatMap_fixed line 144
  14. theorem OAI.Solenoidal.runProgram_separate_branches line 154
  15. def OAI.Solenoidal.sheetProgram line 178
  16. theorem OAI.Solenoidal.sheetProgram_on line 182
  17. theorem OAI.Solenoidal.sheet_theorem_analytic line 213