theorem proved term proof

`glass_transition_implies_high_tc`

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

formal statement (Lean)

  15theorem glass_transition_implies_high_tc (h : glass_transition_from_ledger) :
  16    high_tc_superconductivity_from_ledger :=

Term-mode proof.

  17  h
  18
  19end GlassTransitionStructure
  20end CondensedMatter
  21end IndisputableMonolith

Lean names referenced from this declaration's body.

glass_transition_from_ledger in IndisputableMonolith.CondensedMatter.GlassTransitionStructure decl_use
high_tc_superconductivity_from_ledger in IndisputableMonolith.CondensedMatter.HighTcSuperconductivityStructure decl_use