Manuscript II@2 · II.tex · section · 50d64def
Factorization on the whole locked domain
Ward reduction and coupling factorization › Factorization on the whole locked domain · lines 918–923
This proof uses the locked vertices and direct species algebra. No companion obstruction theorem is involved.