Baik–Deift–Johansson theorem (source code)

= Baik–Deift–Johansson theorem
{wiki=Baik–Deift–Johansson_theorem}