theorem proved term proof

`thermal_eigenvalue_eq_phi`

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

formal statement (Lean)

  93theorem thermal_eigenvalue_eq_phi : thermal_eigenvalue = phi := rfl

Term-mode proof.

  94
  95/-- No other positive real can serve as the thermal eigenvalue. -/

Lean names referenced from this declaration's body.

as in IndisputableMonolith.Foundation.SimplicialLedger.ContinuumBridge decl_use
thermal_eigenvalue in IndisputableMonolith.Physics.ThermalFixedPoint decl_use