Atiyah–Bott fixed point formula