glass_transition_structure
plain-language theorem explainer
The glass transition structure theorem establishes that the ledger condition for the glass transition holds by direct appeal to the high-Tc superconductivity structure. Condensed matter researchers linking phase transitions to superconductivity would cite this equivalence. The proof is a one-line term wrapper that substitutes the upstream high-Tc theorem.
Claim. The proposition that the glass transition follows from the ledger condition holds, as witnessed by the high-temperature superconductivity structure.
background
glass_transition_from_ledger is defined as the proposition high_tc_superconductivity_from_ledger. The high_tc_superconductivity_structure theorem proves this ledger condition by the exact pair one_lt_phi and phi_lt_two, which enforce 1 < phi < 2 for the golden ratio fixed point. This module imports the high-Tc structure to establish the glass transition equivalence in the condensed matter setting.
proof idea
The proof is a term-mode one-line wrapper that directly applies the high_tc_superconductivity_structure theorem to discharge the glass_transition_from_ledger goal.
why it matters
This theorem supplies the glass transition input required by the strongly_correlated_electrons_structure theorem, which asserts that strong-correlation structure implies glass-transition structural input. It connects glass transitions to high-Tc superconductivity via the shared ledger condition, consistent with the phi-ladder and forcing chain steps T5-T8 in Recognition Science.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.