Atiyah–Jones conjecture (source code)

= Atiyah–Jones conjecture
{wiki=Atiyah–Jones_conjecture}