On the least strongly compact cardinal (Q1150620)

From MaRDI portal