Library ▹ Essentials ▹ Sets ▹ Choice functions and axioms
  • Choice (choice functions)
  • choice function
  • AC
[View Source]