Manuscript XVI-O1-ST@5 · XVI-O1-ST-v5.tex · section · dd45e0d1
Exact rank certificates and the repaired affine family
Exact rank certificates and the repaired affine family · lines 711–717
The presentation follows II/II-B's original-minor discipline without importing their numerical certificate CheungII,CheungIIB.
Nearby in this section
- theorem: Theorem: Rank–minor–left-kernel certificate
- section: Exact rank certificates and the repaired affine family
- proposition: Proposition: Complete right-kernel certificate
- section: Exact rank certificates and the repaired affine family
- theorem: Theorem: Permanent affine false-positive witness
- section: Exact rank certificates and the repaired affine family