structure definition def or abbrev

`ElectroweakBreakingFalsifier`

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

formal statement (Lean)

 262structure ElectroweakBreakingFalsifier where
 263  higgs_wrong : Prop
 264  vev_not_minimum : Prop
 265  extra_higgs : Prop
 266  falsified : higgs_wrong ∨ vev_not_minimum → False
 267
 268end ElectroweakBreaking
 269end StandardModel
 270end IndisputableMonolith