Theorem Turing.Reaches₀.tail

Modification history