def definition def or abbrev

`nuclear_chemical_ratio`

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

formal statement (Lean)

 100def nuclear_chemical_ratio : ℝ := phi ^ (45 : ℕ)

Definition body.

 101
 102/-- **THEOREM EN-004.5**: Nuclear/chemical energy ratio > 1 (φ^45 > 1). -/

From the project-wide theorem graph. These declarations reference this one in their body.

nuclear_chemical_ratio_gt_one in IndisputableMonolith.Engineering.EnergyStorageDensityStructure decl_use