Tropistethus lanternae Linnavuori, 1960
Distribution in Iran. Ardabil, Golestan, Guilan, Mazandaran (Linnavuori 2007), Kermanshah, Kordestan (Linnavuori 2011).
General distribution. Ponto-Mediterranean, extending to Middle Asia.