Source: wikibot/grothendieck-trace-theorem

= Grothendieck trace theorem
{wiki=Grothendieck_trace_theorem}