Ito, T. Lefua hoffmanni Herre 1932, a Junior Synonym of Oreonectes platycephalus Günther 1868 (Cypriniformes: Nemacheilidae). Zootaxa 2024, 5448, 519-530.