OAI/MathematicalPhysics/NavierStokes/ShearFlows/StageFlow.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.ShearFlows.sevenFields_invariant line 13
  2. theorem OAI.ShearFlows.spatialFields_invariant line 34
  3. def OAI.ShearFlows.blockStart line 38
  4. def OAI.ShearFlows.blockFinish line 40
  5. theorem OAI.ShearFlows.block_bounds line 42
  6. theorem OAI.ShearFlows.other_periodPulse_zero line 47
  7. theorem OAI.ShearFlows.realizingVelocity_on_block line 69
  8. theorem OAI.ShearFlows.IsMaterialFlow.eqOn_of_candidate line 81
  9. theorem OAI.ShearFlows.materialFlow_on_block line 94
  10. theorem OAI.ShearFlows.materialFlow_block_endpoint line 120
  11. theorem OAI.ShearFlows.materialFlow_period_tail line 130