Registry · Proposition IV.P244 tau-effective not_formalized IV.P244 — Structural Decomposition The tower formula admits a structural decomposition: equation = 815 (1 + 15!) iota_tau^4 equation Book IV Part 1 Ch. 10