Theorem Turing.TM1.stmts_trans

Modification history