`PMNSFalsifier`

definition

show as: view math explainer →

module: IndisputableMonolith.StandardModel.PMNSMatrix
domain: StandardModel
line: 334 · github
papers citing: none yet

open explainer

Generate a durable explainer page for this declaration.

open lean source

IndisputableMonolith.StandardModel.PMNSMatrix on GitHub at line 334.

browse module

All declarations in this module, on Recognition.

explainer page

Tracked in the explainer inventory; generation is lazy so crawlers do not trigger LLM jobs.

open explainer

formal source

 331    1. No φ-connection to any mixing angle
 332    2. Inverted mass ordering confirmed
 333    3. δ_CP far from π (e.g., ~0 or π/2) -/
 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

papers checked against this theorem

No papers in the current corpus map onto this theorem yet.