structure definition def or abbrev

`CKMFalsifier`

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

formal statement (Lean)

 288structure CKMFalsifier where
 289  no_phi_lambda : Prop
 290  different_cp_origin : Prop
 291  unitarity_violated : Prop
 292  falsified : no_phi_lambda ∧ different_cp_origin ∧ unitarity_violated → False
 293
 294end CKMMatrix
 295end StandardModel
 296end IndisputableMonolith