recognition / CondensedMatter / CondensedMatter.GlassTransitionStructure / glass_transition_structure

theorem

`glass_transition_structure`

proved

show as: view math explainer →

module: IndisputableMonolith.CondensedMatter.GlassTransitionStructure
domain: CondensedMatter
line: 12 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.CondensedMatter.GlassTransitionStructure on GitHub at line 12.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

depends on

used by

strongly_correlated_electrons_structure IndisputableMonolith.CondensedMatter.StronglyCorrelatedElectronsStructure

formal source

   9
  10def glass_transition_from_ledger : Prop := high_tc_superconductivity_from_ledger
  11
  12theorem glass_transition_structure : glass_transition_from_ledger := high_tc_superconductivity_structure
  13
  14/-- Glass-transition structure implies High-Tc structural input. -/
  15theorem glass_transition_implies_high_tc (h : glass_transition_from_ledger) :
  16    high_tc_superconductivity_from_ledger :=
  17  h
  18
  19end GlassTransitionStructure
  20end CondensedMatter
  21end IndisputableMonolith

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.