Registry · Theorem
II.T54
tau-effective
formalized
II.T54 — Tower Coherence
Boundary maps compose coherently: d_{n-1}(d_n(x)) = d_{n-1}(x) for the primorial chain. This is tower coherence of the inverse system.
Book II
Part 8
Ch. 46