Manuscript IX-Free-2@1 · IX-Free-2.tex · section · abb2397a
Explicit inherited premises
Release alternatives and inherited contract › Explicit inherited premises · lines 330–335
The supplied IX-Free source is used through the following ledger. Statements reported there from companion manuscripts remain inherited premises, not independently certified companion proofs.