Registry · Definition VI.D15 tau-effective planned

VI.D15 — Life Sector

Pair (g, P) where g is a generator and P restricts Loop_L to loops with dominant winding along g; primitive (4) or mixed (1). Exhaustive classification.

Book VI Part 1 Ch. 8

Dependency Graph

Depends on (1)

VI.D10

Depended on by (4)

VI.D20 VI.L04 VI.T07 VI.T08

Lean Formalization

Module: TauLib.BookVI.Sectors.FourPlusOne

Symbol: Tau.BookVI.FourPlusOne.LifeSector