Denjoy's theorem on rotation number (source code)

= Denjoy's theorem on rotation number
{wiki=Denjoy's_theorem_on_rotation_number}