Injective choice functions for countable families (Q1237732)

From MaRDI portal