Registry · Theorem
IV.T89
tau-effective
formalized
IV.T89 — Tower compatibility
Tower compatibility: restriction of delta_{n+1} to the coarser partition recovers delta_n exactly, i.e., delta_{n+1}[omega]|_n(C_{n,a}) = sum_b delta_{n+1}[omega](C_{n+1, a+b*p_n#}) = delta_n[omega](C_{n,a}), ensuring coherence across primorial depths.