Theorem Turing.Reaches₀.trans

Modification history