Registry · Theorem IV.T223 tau-effective not_formalized

IV.T223 — Three-Route Convergence

The three derivation routes for converge:

Book IV Part 1 Ch. 10

Dependency Graph

Depends on (2)

IV.D255 IV.D253