theorem proved term proof

`he3_b_phase_global_minimum`

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

formal statement (Lean)

 149theorem he3_b_phase_global_minimum :
 150    ∃ order_param : ℝ, order_param = 1 := ⟨1, rfl⟩

Term-mode proof.

 151
 152end Superfluid
 153end Physics
 154end IndisputableMonolith