Axiom of Choice Applications isn't part of Pantheon yet. Add them, and we'll research and write up their story — their contributions, who shaped them, and who they went on to shape.
Sign in to add Axiom of Choice Applications to Pantheon.