Registry · Theorem IV.T290 tau-effective not_formalized IV.T290 — The Hermetic Principle equationeq:ch71-hermetic % tau3 = tau1 _f T^2. Book IV Part 8 Ch. 73