Grothendieck–Lefschetz formula

Redirect to:

• Lefschetz fixed-point theorem#Frobenius