Basionym Name:Agaricus insiliens Britzelm., Ber. naturhist. Augsburg 27: 173 (1883)
Homotypic synonyms:Psilocybe insiliens (Britzelm.) Sacc., Syll. fung. (Abellini) 5: 1049 (1887)