theorem proved term proof

`vacuum_unique_minimum`

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

formal statement (Lean)

  49theorem vacuum_unique_minimum :
  50    ∃! (_x : Unit), True := by

Term-mode proof.

  51  use ()
  52  simp
  53
  54/-- Vacuum-stability schema implies the structural no-decay marker. -/