Registry · Definition IV.D158 tau-effective formalized

IV.D158 — Fractional CR-sublattice

The fractional CR-sublattice Lambda_CR^{1/3} := {(m, n/3) : m,n in Z} subset Z x (1/3)Z refines the character lattice to accommodate color-charged modes with fractional eta-component n/3 not in Z.

Book IV Part 5 Ch. 39

Lean Formalization

Module: TauLib.BookIV.Strong.Confinement

Symbol: Tau.BookIV.Strong.FractionalCrsublattice