theorem proved term proof

`ckm_from_phase_overlap`

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

formal statement (Lean)

 158theorem ckm_from_phase_overlap :
 159    Fintype.card (Fin 3 × Fin 3) = 9 := by decide

Term-mode proof.

 160
 161/-- The Cabibbo angle θ_C ≈ 13° emerges from φ-structure. -/

Lean names referenced from this declaration's body.