Manuscript IX-Free@1 · IX-Free.tex · section · 33b20e96
Prerequisite ledger
Contract, inherited inputs, and domains › Prerequisite ledger · lines 305–310
The supplied source is IX-C IXC. Its statements concerning IX-A, IX-B, and VII-D are used below in the following explicit form. They are premises, not newly verified companion proofs.