Many partial orders with incomparables do have unique maximal elements (e.g., a top element exists i...
This proposition has not been edited since the history system was added.