structure definition def or abbrev

`QECFalsifier`

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

formal statement (Lean)

 247structure QECFalsifier where
 248  no_8tick_connection : Prop
 249  no_tau0_threshold : Prop
 250  codes_perform_poorly : Prop
 251  falsified : no_8tick_connection ∧ no_tau0_threshold → False
 252
 253end QuantumErrorCorrection
 254end Information
 255end IndisputableMonolith