What are Sylow's Theorems?

I can recall these myself, and I am able to look them up for reasonable detail. I am curious to know if a mathematics librarian can verify that the history of their naming is or is not a case of a student doing the actual work.