A simple formula equivalent to the axiom of choice

From MaRDI portal
Publication:2625264