pith. machine review for the scientific record. sign in
theorem proved term proof

posture_increases_stability

show as:
view Lean formalization →

No prose has been written for this declaration yet. The Lean source and graph data below render without it.

generate prose now

formal statement (Lean)

  64theorem posture_increases_stability (pa : PosturalAxis) :
  65    alignment_quality pa = 1 →
  66    SystemStability pa = 1.0 := by

proof body

Term-mode proof.

  67  intro h_qual
  68  have h_cost := postural_minimization pa h_qual
  69  unfold SystemStability
  70  rw [h_cost]
  71  simp
  72
  73end Posture
  74end Applied
  75end IndisputableMonolith

depends on (5)

Lean names referenced from this declaration's body.