Theorem Turing.Reaches₁.to₀

Modification history