Talk:Atiyah conjecture