structure definition def or abbrev

`CKMElement`

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

formal statement (Lean)

 148structure CKMElement where
 149  /-- From generation (1, 2, or 3). -/
 150  fromGen : Fin 3
 151  /-- To generation (1, 2, or 3). -/
 152  toGen : Fin 3
 153  /-- Mixing amplitude (complex). -/
 154  amplitude : ℂ
 155
 156/-- **THEOREM (CKM from Phase Overlap)**: The CKM matrix elements come from
 157    the overlap of 8-tick phase patterns between generations. -/

depends on (16)

Lean names referenced from this declaration's body.

of in IndisputableMonolith.Astrophysics.NucleosynthesisTiers decl_use
tick in IndisputableMonolith.Constants decl_use
or in IndisputableMonolith.Constants.EulerMascheroni decl_use
tick in IndisputableMonolith.Constants.RSNativeUnits decl_use
of in IndisputableMonolith.Foundation.DAlembert.LedgerFactorization decl_use
phase in IndisputableMonolith.Foundation.EightTick decl_use
of in IndisputableMonolith.Foundation.PhiForcingDerived decl_use
from in IndisputableMonolith.Foundation.PrimitiveDistinction decl_use
of in IndisputableMonolith.Foundation.SpectralEmergence decl_use
Phase in IndisputableMonolith.Information.ChurchTuringPhysicsStructure decl_use
of in IndisputableMonolith.Information.PhysicsComplexityStructure decl_use
phase in IndisputableMonolith.NumberTheory.RiemannHypothesis.Wedge decl_use
amplitude in IndisputableMonolith.QFT.SMatrixUnitarity decl_use
amplitude in IndisputableMonolith.Quantum.DoubleSlit decl_use
Phase in IndisputableMonolith.RRF.Hypotheses.EightTick decl_use
overlap in IndisputableMonolith.YM.Dobrushin decl_use