Manuscript II@2 · II.tex · section · 50d64def
Small-support separators
Finite certificate principles › Small-support separators · lines 2516–2523
The same residual occurs in the original augmented minor:
Displayed formulas in this passage
unlabeled · line 2519