Axiom of global choice

ID: axiom-of-global-choice

New to topics? Read the docs here!