Talk:Atiyah–Segal completion theorem