Registry · Remark V.R338 tau-effective not_applicable

V.R338 — H_fix[omega] subfield

The sigma-invariant part of the boundary holonomy algebra forms a subfield; all sector lifts land in H_fix[omega].

Book V Part 8 Ch. 69

Lean Formalization

Module: