Every 1-generic computes a properly 1-generic

From MaRDI portal
Publication:3416120