Friedberg–Muchnik theorem (source code)

= Friedberg–Muchnik theorem
{wiki=Friedberg–Muchnik_theorem}