Theorem Turing.reaches₁_eq

Modification history