Manuscript XXII-C@1 · XXII-C.tex · section · b9a05a24
The six extraction obligations
The six extraction obligations · lines 975–979
The following are proof obligations, not sufficient hypotheses already satisfied by the frozen class.
Manuscript XXII-C@1 · XXII-C.tex · section · b9a05a24
The six extraction obligations · lines 975–979
The following are proof obligations, not sufficient hypotheses already satisfied by the frozen class.