fixed-point-theorems

• The Lefschetz fixed-point formula