Registry · Theorem
IV.T252
tau-effective
not_formalized
IV.T252 — The Derivation Chain
The logical structure of Book IV is a linear chain with no circularity: equationeq:ch71-chain tau3
Book IV
Part 8
Ch. 73