Theorem Turing.TM2.stmts₁_supportsStmt_mono

Modification history