Theorem Turing.tr_reaches₁

Modification history