I want to know the answer to the following question:
Who coined the name "mammal" from the scientific name Mammalia?
All the background I'm provided with is that "The word "mammal" is modern, from the scientific name Mammalia coined by Carl Linnaeus in 1758, derived from the Latin mamma ("teat, pap").". Is that enough to answer the question?