The class of minimax groups is countably recognizable

From MaRDI portal
Publication:1692328