Grothendieck's trace formula

GPTKB entity