Grothendieck's local duality

GPTKB entity