Manuscript VIII-B@3 · VIII-B-v3.tex · section · 3aa6baa1
What the constructor does not derive
Non-identifications and separate successor obligations › What the constructor does not derive · lines 2407–2412
This separates the same implication discussed in Oai282-A and Oai282-B CheungOai282A,CheungOai282B without importing a field theorem from either.