Registry · Definition III.D46 tau-effective formalized

III.D46 — Strong Defect Functional

The defect functional Δ restricted to the strong (C) sector. Measures deviation from the C-sector's canonical form. Non-trivial gauge configurations have Δ_C > 0.

Book III Part 5 Ch. 40

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIII.Physics.GapTheorem

Symbol: ym_coupling_check