theorem proved term proof

`edgeDualCount_eq`

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

formal statement (Lean)

  47theorem edgeDualCount_eq : edgeDualCount = 24 := rfl

Term-mode proof.

  48
  49/-- The golden projection exponent for Cabibbo angle -/

Lean names referenced from this declaration's body.

for in IndisputableMonolith.Foundation.UniversalForcingSelfReference decl_use
edgeDualCount in IndisputableMonolith.RecogSpec.RSBridge decl_use