Complexity class relationships (like P vs NP) are mathematical truths about formal computational sys...
This proposition has not been edited since the history system was added.