Jerarquía taxonómica:
Agaricaceae → Agaricus crocodilinus Murrill, 1912

Familia:
Agaricaceae

Autor:
Murrill, 1912

Sinónimos:
Agaricus nivescens F.H. Møller, 1952