Theorem Turing.TM2.stmts_trans

Modification history