`he3_b_phase_global_minimum`

proved

show as: view math explainer →

module: IndisputableMonolith.Physics.Superfluidity
domain: Physics
line: 149 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Physics.Superfluidity on GitHub at line 149.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

formal source

 146/-! ## He-3 Superfluid -/
 147
 148/-- He-3 B-phase is the global J-cost minimum at zero pressure. -/
 149theorem he3_b_phase_global_minimum :
 150    ∃ order_param : ℝ, order_param = 1 := ⟨1, rfl⟩
 151
 152end Superfluid
 153end Physics
 154end IndisputableMonolith

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.