OAI/MathematicalPhysics/SheetFlows/ShearCore.lean

GitHub source file

23 declarations, 0 contain sorry, 0 declared as axioms

SheetFlows shear core.

  1. def OAI.Solenoidal.coreLift0 line 16
  2. def OAI.Solenoidal.coreLift1 line 29
  3. def OAI.Solenoidal.coreHorizontal line 42
  4. theorem OAI.Solenoidal.coreLift0_field line 55
  5. theorem OAI.Solenoidal.coreLift1_field line 59
  6. theorem OAI.Solenoidal.coreHorizontal_field line 63
  7. theorem OAI.Solenoidal.coreC_one line 67
  8. theorem OAI.Solenoidal.coreD_linear line 77
  9. theorem OAI.Solenoidal.coreC_off line 89
  10. theorem OAI.Solenoidal.coreD_off line 98
  11. theorem OAI.Solenoidal.coreLift0_on line 107
  12. theorem OAI.Solenoidal.coreLift1_on line 113
  13. theorem OAI.Solenoidal.coreLift0_off line 119
  14. theorem OAI.Solenoidal.coreLift1_off line 122
  15. theorem OAI.Solenoidal.coreHorizontal_on line 125
  16. theorem OAI.Solenoidal.coreHorizontal_off line 131
  17. def OAI.Solenoidal.tripleProgram0 line 136
  18. def OAI.Solenoidal.tripleProgram1 line 139
  19. theorem OAI.Solenoidal.tripleProgram0_on line 142
  20. theorem OAI.Solenoidal.tripleProgram1_on line 162
  21. def OAI.Solenoidal.processingProgram line 182
  22. theorem OAI.Solenoidal.processingProgram_on line 185
  23. theorem OAI.Solenoidal.processingProgram_off line 191