The short extenders gap two forcing is of Prikry type

From MaRDI portal
Publication:1042437