"Fredholm kernel" . . . . "Fredholm kernel" . . . "Grothendieck's theorem (Fredholm kernel)" . .