144theorem ambient_superconductivity_possible : 145 ∃ n : ℤ, ambient_sc_condition n := by
proof body
Term-mode proof.
146 use 0 147 unfold ambient_sc_condition T_c_rung 148 simp 149 150/-- **THEOREM EN-002.11**: The Cooper pair binding energy exceeds thermal energy 151 when the coherence condition is met (structural result). -/
used by (3)
From the project-wide theorem graph. These declarations reference this one in their body.