Registry · Definition I.D09 established formalized

I.D09 — Swap Operator sigma

sigma (swap): first derived operator from rho. Exchanges positions within orbit rays via rank transfer composition.

Book I Part 3 Ch. 11

Dependency Graph

Depends on (2)

I.D08 I.D02

Depended on by (2)

I.D14 IV.T34p

Lean Formalization

Module: TauLib.BookI.Denotation.TauIdx

Symbol: Tau.Denotation.sigma