Amanitatullossiana, a new species, and two new records of AmanitasectionLepidella from north-western Himalaya, India

印度西北喜马拉雅山脉发现一种新种 Amanitatullossiana，以及两种新的 Amanitasection Lepidella 记录。