Refining families for ultrafilters (Q1220730)

From MaRDI portal