structure definition def or abbrev

`PMNSFalsifier`

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

formal statement (Lean)

 334structure PMNSFalsifier where
 335  no_phi_connection : Prop
 336  inverted_ordering : Prop
 337  deltaCP_not_near_pi : Prop
 338  falsified : no_phi_connection ∧ inverted_ordering ∧ deltaCP_not_near_pi → False
 339
 340end PMNSMatrix
 341end StandardModel
 342end IndisputableMonolith