Registry · Definition IV.D113 tau-effective formalized

IV.D113 — A-Sector Sigma-Admissibility

Configuration psi is sigma_A-admissible if sigma_A(psi) ~_coh psi: coherence-compatible polarity reversal restricted to the A-sector.

Book IV Part 4 Ch. 30

Dependency Graph

Depends on (2)

IV.D112 IV.D97

Depended on by (2)

IV.L05 IV.T43

Lean Formalization

Module: TauLib.BookIV.Electroweak.WeakChirality

Symbol: Tau.BookIV.Electroweak.AsectorSigmaadmissibility