Hecke eigensheaves

GPTKB entity