Theorem Turing.TM2to1.supports_run

Modification history