theorem proved term proof

`ckm_params_3_plus_1`

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

formal statement (Lean)

 236theorem ckm_params_3_plus_1 : ckmParameters = 3 + 1 := rfl

Term-mode proof.

 237
 238end
 239
 240end WeakForceEmergence
 241end Physics
 242end IndisputableMonolith

Lean names referenced from this declaration's body.