For practical or constructive mathematics, choice functions only need apply to sets we can actually ...
This proposition has not been edited since the history system was added.