def definition def or abbrev

`implications`

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

formal statement (Lean)

 178def implications : List String := [

proof body

Definition body.

 179  "i² = -1 from 4 ticks = π rotation",
 180  "Waves from continuous phase accumulation",
 181  "Unitarity from phase conservation",
 182  "Fermion sign from 2π rotation = 8 ticks = 1"
 183]
 184
 185/-! ## The 8th Roots of Unity -/
 186
 187/-- The 8th roots of unity ζ_k = e^{2πik/8} for k = 0,...,7.
 188
 189    These are exactly the 8-tick phases!
 190    They form a group under multiplication (cyclic group Z₈). -/

depends on (14)

Lean names referenced from this declaration's body.

of in IndisputableMonolith.Astrophysics.NucleosynthesisTiers decl_use
tick in IndisputableMonolith.Constants 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
for in IndisputableMonolith.Foundation.UniversalForcingSelfReference decl_use
of in IndisputableMonolith.Information.PhysicsComplexityStructure decl_use
Fermion in IndisputableMonolith.Masses.RSBridge.Anchor decl_use
Fermion in IndisputableMonolith.Masses.SMVerification decl_use
phase in IndisputableMonolith.NumberTheory.RiemannHypothesis.Wedge decl_use
Fermion in IndisputableMonolith.RSBridge.Anchor decl_use