Theorem Turing.tr_reaches_rev

Modification history