Registry · Remark V.R337 tau-effective not_applicable

V.R337 — sigma-equivariance

All five sector couplings are sigma-invariant under the lobe-exchange involution on L.

Book V Part 8 Ch. 69

Lean Formalization

Module: