Talk:Donaldson theory

It looks like the Witten conjecture in the link is a different conjecture than the Witten conjecture in Donaldson theory. Someone with more expertise should look into that (68.65.175.91 (talk) 19:38, 11 November 2019 (UTC))