theorem other other

`thermal_eigenvalue_golden`

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

formal statement (Lean)

 101theorem thermal_eigenvalue_golden :
 102    thermal_eigenvalue ^ 2 = thermal_eigenvalue + 1 := phi_sq_eq

Lean names referenced from this declaration's body.

phi_sq_eq in IndisputableMonolith.Constants decl_use
phi_sq_eq in IndisputableMonolith.NumberTheory.PhiLadderLattice decl_use
thermal_eigenvalue in IndisputableMonolith.Physics.ThermalFixedPoint decl_use