Typhlocyba stigmatipennis Mulsant & Rey, 1855: 245.
Micantulina (Mulsantina) stigmatipennis (Mulsant & Rey, 1855): Dlabola (1981), Mirzayans (1995). Recorded distribution in Iran: South of central region of Alborz mountains.