Theorem Turing.reaches₁_fwd

Modification history