Denjoy's theorem on rotation number
Appearance
A Denjoy diffeomorphism is a diffeomorphism of a circle that has an irrational rotation number but is not topologically conjugate to an irrational rotation. It is a theorem that a Denjoy diffeomorphism cannot be twice differentiable.