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 "According to Mammal Species of the World, 5,416 species were known in 2006.". Is that enough to answer the question?
Answer: no