AC proves well-orderings exist; leveraging their asymmetry for canonical choice functions demonstrat...
This proposition has not been edited since the history system was added.