theorem proved term proof

`room_temp_superconductivity_structure`

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

formal statement (Lean)

 197theorem room_temp_superconductivity_structure :
 198    ∃ n : ℤ, ambient_sc_condition n :=

proof body

Term-mode proof.

 199  ambient_superconductivity_possible
 200
 201/-! ## §VII. Engineering Implications -/
 202
 203/-- For a material on rung n, the RS-predicted T_c scales as φ^n.
 204    Current high-T superconductors: T_c ~ 130-160 K ≈ φ^20-22 in RS natural units. -/

depends on (12)

Lean names referenced from this declaration's body.

rung in IndisputableMonolith.Compat.Constants decl_use
K in IndisputableMonolith.Constants decl_use
K in IndisputableMonolith.Constants.LambdaRecDerivation decl_use
rung in IndisputableMonolith.Engineering.AsteroidOreSpectroscopy decl_use
ambient_sc_condition in IndisputableMonolith.Engineering.RoomTempSuperconductivityStructure decl_use
ambient_superconductivity_possible in IndisputableMonolith.Engineering.RoomTempSuperconductivityStructure decl_use
T in IndisputableMonolith.Foundation.Breath1024 decl_use
as in IndisputableMonolith.Foundation.SimplicialLedger.ContinuumBridge decl_use
T in IndisputableMonolith.Gap45.SyncMinimization decl_use
rung in IndisputableMonolith.Masses.AnchorPolicy decl_use
rung in IndisputableMonolith.Masses.RSBridge.Anchor decl_use
rung in IndisputableMonolith.RSBridge.Anchor decl_use