Simple sets being Turing-complete doesn't entail they lack many-one completeness; Post proved they'r...
This proposition has not been edited since the history system was added.