Theorem Turing.TM2.stmts_supportsStmt

Modification history