Theorem Turing.BlankExtends.refl

Modification history