Fact (1), p. A:41 — $n$-compatibility with $M$ is decidable with oracle access to $\langle M\rangle$

Initializing...

Fact (1), p. A:41 — $n$-compatibility with $M$ is decidable with oracle access to $\langle M\rangle$ · Prove2Me