Theorem Turing.tr_eval

Modification history