Typification of Amanita muscaria (Amanitaceae, Agaricomycetes, Basidiomycota), the name for an iconic mushroom species | Publicación