Standard P vs NP makes no ordering assumption; solutions should work on any finite structure, not ju...
This proposition has not been edited since the history system was added.