OAI/MathematicalPhysics/NavierStokes/ShearFlows/EndpointFlow.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ShearFlows.branchNodes line 13
  2. theorem OAI.ShearFlows.atHeight_add line 24
  3. theorem OAI.ShearFlows.atHeight_smul line 29
  4. theorem OAI.ShearFlows.horizontal_add line 34
  5. theorem OAI.ShearFlows.horizontal_smul line 39
  6. theorem OAI.ShearFlows.horizontal_basis_two line 44
  7. theorem OAI.ShearFlows.branchNodes_scaling line 48
  8. theorem OAI.ShearFlows.branchNodes_advance line 56
  9. theorem OAI.ShearFlows.materialFlow_branchNodes line 110
  10. theorem OAI.ShearFlows.materialFlow_branch_segment line 127
  11. theorem OAI.ShearFlows.realizingVelocity_periodMap line 141