Manuscript XI-B@1 · XI-B.tex · section · 063b989e
Scope and the named construction
Scope and the named construction · lines 307–312
The proofs are given in the successive sections. No tree calculation is part of the theorem.
Manuscript XI-B@1 · XI-B.tex · section · 063b989e
Scope and the named construction · lines 307–312
The proofs are given in the successive sections. No tree calculation is part of the theorem.