Manuscript XII-D@1 · XII-D.tex · section · 308a2080
D4: descent and ordering on the enlarged named sector
D4: descent and ordering on the enlarged named sector · lines 1003–1009
Define to be the coefficientwise -adic completion of the algebra generated by XII-A's named sector and all . This is formal completion, not analytic closure.