Theorem Turing.TM2to1.trCfg_init

Modification history