Registry · Theorem IV.T03 tau-effective formalized

IV.T03 — Sector Lifts σ-Equivariant

All 5 sector lift functors preserve σ-equivariance (unpolarized constants). Verified computationally for all canonical lifts.

Book IV Part 2 Ch. 4

Dependency Graph

Depends on (1)

IV.D15

Lean Formalization

Module: TauLib.BookIV.Physics.PlanckCharacter

Symbol: Tau.BookIV.Physics.all_lifts_sigma_equivariant