`CriticalExponentsFalsifier`

definition

show as: view math explainer →

module: IndisputableMonolith.Thermodynamics.CriticalExponents
domain: Thermodynamics
line: 234 · github
papers citing: none yet

open explainer

Read the cached plain-language explainer.

open lean source

IndisputableMonolith.Thermodynamics.CriticalExponents on GitHub at line 234.

browse module

All declarations in this module, on Recognition.

explainer page

A cached Ask Recognition explainer exists for this declaration.

open explainer

formal source

 231    1. Exponents have no φ-connection
 232    2. High-precision values diverge from φ-predictions
 233    3. New universality classes violate patterns -/
 234structure CriticalExponentsFalsifier where
 235  no_phi_connection : Prop
 236  precision_diverges : Prop
 237  pattern_violated : Prop
 238  falsified : no_phi_connection ∧ precision_diverges → False
 239
 240end CriticalExponents
 241end Thermodynamics
 242end IndisputableMonolith

papers checked against this theorem

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