Registry · Proposition
IV.P177
tau-effective
formalized
IV.P177 — Codomain Is Operational
Each measurement procedure in the codomain of R_mu specifies a non-empty operational protocol.
Book IV
Part 2
Ch. 12