Kolmogorov–Arnold–Moser theorem

GPTKB entity