Theorem Turing.reaches_total

Modification history