I just found this theorem: The de Moivre-Laplace-Lindeberg-Feller-Wiener-Lévy-Doob-Erdös-Kac-Donsker-Prokhorov theorem in "Radically Elementary Probability Theory" by Edward Nelson.
I do not know if this is the standard name for this theorem, it might just be called the generalized de Moivre-Laplace theorem. A more well known one (at least with a Wikipage) could be the de Bruijn-Ehrenfest–Smith–Tutte (BEST) theorem.
Nevertheless, that kept me wondering, what are some theorems with very long names? (Name of the theorem, not of the family names)
[I tried to post this question before in MathOverflow but was removed]