Talk:Brumer–Stark conjecture