OAI/Probability/LatticeSurface/Geometry/CapWeld.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

  1. def OAI.ExtremalEdges.weldHeight line 21
  2. def OAI.ExtremalEdges.weldBody line 24
  3. lemma OAI.ExtremalEdges.continuous_weldHeight line 27
  4. lemma OAI.ExtremalEdges.closed_weldBody line 33
  5. lemma OAI.ExtremalEdges.restore_boundary_congr line 40
  6. lemma OAI.ExtremalEdges.body_boundary_congr line 45
  7. lemma OAI.ExtremalEdges.weld_pinned line 51
  8. def OAI.ExtremalEdges.weldBoundary line 62
  9. lemma OAI.ExtremalEdges.weld_coordinate line 64
  10. lemma OAI.ExtremalEdges.weld_volume_coordinate line 80
  11. lemma OAI.ExtremalEdges.weld_boundary_extreme line 91
  12. lemma OAI.ExtremalEdges.weld_released_body line 98
  13. lemma OAI.ExtremalEdges.volume_body_pin_congr line 108
  14. theorem OAI.ExtremalEdges.volume_weld_le line 114