Registry · Theorem IV.T88 tau-effective formalized

IV.T88 — Period length sequence

The periodic table period lengths follow the pattern 2, 8, 8, 18, 18, 32, 32,... where each length equals twice a perfect square and each value (except 2) appears twice; this is a topological consequence of T^2 fiber geometry: shell capacity 2n^2 combined with the Aufbau filling order determines noble gas closures.

Book IV Part 6 Ch. 49

Dependency Graph

Depends on (1)

Depended on by (4)

Lean Formalization

Module: TauLib.BookIV.Particles.PeriodicTable

Symbol: Tau.BookIV.Particles.PeriodLengthSequence