structure definition def or abbrev

`StrongCPFalsifier`

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

formal statement (Lean)

 313structure StrongCPFalsifier where
 314  theta_nonzero : Prop
 315  eight_tick_wrong : Prop
 316  continuous_axion : Prop
 317  falsified : theta_nonzero → False
 318
 319end StrongCP
 320end StandardModel
 321end IndisputableMonolith