structure definition def or abbrev

`PartitionFunctionFalsifier`

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

formal statement (Lean)

 229structure PartitionFunctionFalsifier where
 230  thermo_from_z_fails : Prop
 231  jcost_not_energy : Prop
 232  eight_tick_not_quantum_stats : Prop
 233  falsified : thermo_from_z_fails ∨ jcost_not_energy ∨ eight_tick_not_quantum_stats → False
 234
 235end PartitionFunction
 236end Thermodynamics
 237end IndisputableMonolith