Yes, that's what nnamtr said in their comment, and it doesn't answer my question...

		twic on July 17, 2021 \| parent \| context \| favorite \| on: What is the Axiom of Choice? Yes, that's what nnamtr said in their comment, and it doesn't answer my question.