Theorem Turing.tr_eval_dom

Modification history