theorem other other

`cabibbo_coefficient_eq_3_2`

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

formal statement (Lean)

 128theorem cabibbo_coefficient_eq_3_2 : cabibbo_coefficient = 3/2 := rfl

From the project-wide theorem graph. These declarations reference this one in their body.

correction_derivation_verified in IndisputableMonolith.Physics.PMNSCorrections decl_use

Lean names referenced from this declaration's body.

cabibbo_coefficient in IndisputableMonolith.Physics.PMNSCorrections decl_use