Registry · Definition V.D197 tau-effective formalized

V.D197 — Threshold-Dependent Admissibility

Admissibility category changes at each threshold crossing. SA-i (eta-winding preservation) applies only below L_N; above L_N the C-sector is deconfined and B-violation is permitted.

Book V Part 6 Ch. 48

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Cosmology.BBNBaryogenesis

Symbol: ThresholdDependentAdmissibility