Registry · Theorem IV.T34p tau-effective formalized

IV.T34p — Solenoid Pitch Theorem

c_tau = d_pi/d_alpha = 1. The solenoid pitch is unity: depth synchronization (K4) + rigidity (I.T07) + split-complex (I.T10) force the speed of light to be structurally determined.

Book IV Part 3 Ch. 15

Dependency Graph

Depends on (5)

I.K4 I.D08 I.D09 I.T07 I.T10

Lean Formalization

Module: TauLib.BookI.Denotation.SolenoidPitch

Symbol: Tau.Denotation.c_tau_eq_one