Manuscript X-Enter-ST@1 · X-Enter-ST.tex · section · f76acc1f
A quantitative approximate version
Stage B: the encoding-independent orbit obstruction › A quantitative approximate version · lines 572–579
This estimate concerns the full supplied output family. If additional accessible systems carry the label, they must be included in that family before the hypothesis can be applied.