theorem proved term proof

`storage_density_ratio_pos`

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

formal statement (Lean)

 165theorem storage_density_ratio_pos (n m : ℤ) : 0 < storage_density_ratio n m := by

Term-mode proof.

 166  unfold storage_density_ratio
 167  exact zpow_pos phi_pos _
 168
 169/-- **THEOREM EN-004.13**: Higher rung → higher storage density. -/

Lean names referenced from this declaration's body.

rung in IndisputableMonolith.Compat.Constants decl_use
rung in IndisputableMonolith.Engineering.AsteroidOreSpectroscopy decl_use
storage_density_ratio in IndisputableMonolith.Engineering.EnergyStorageDensityStructure decl_use
rung in IndisputableMonolith.Masses.AnchorPolicy decl_use
rung in IndisputableMonolith.Masses.RSBridge.Anchor decl_use
density in IndisputableMonolith.Physics.NeutronStarCrustalRegimesFromRS decl_use
rung in IndisputableMonolith.RSBridge.Anchor decl_use