Lefschetz fixed point formula