The story
Named after István Fáry and John Milnor, who proved it independently in 1949 and 1950.
Etymology from Wiktionary, CC BY-SA 4.0.
Fary-Milnor theorem
Today it means: In knot theory, a theorem stating that three-dimensional smooth curves with small total curvature must be unknotted. Full definition →