Choice functions in set theory require only a method for selecting elements, not invariance under al...
This proposition has not been edited since the history system was added.