Registry · Theorem IV.T334 tau-effective not_formalized IV.T334 — tau3 as Pure Process equationeq:ch71-pure-process % tau3 = pure process. Book IV Part 8 Ch. 73