Lefschetz fixed-point formula

Summary