Lefshetz Fixed Point Formula

See Lefshetz Trace Formula