Axiom of finite choice

ID: axiom-of-finite-choice

New to topics? Read the docs here!