Manuscript XIII-E@1 · XIII-E.tex · section · 74eaba48
XIII-C's four successor obligations
Copied prerequisite sheet › XIII-C's four successor obligations · lines 318–323
The eleven branches and their labelled incidence matchings are used as the fixed graph presentation. They are not listed a second time.