Manuscript IX-E-2@1 · IX-E-2.tex · section · e70d9077
Actual support ordering
The IX-E witness class: exact zero › Actual support ordering · lines 998–1003
This result needs no detection lemma: there is no nonzero distribution to detect. The strong separation is precisely why this witness class does not meet the reflected cone.