* Parosmylus prominens Needham, 1909

Parosmylus prominens Needham, 1909: 209 . Type Locality: Not yet fixed, syntypes from India (Himachal Pradesh: Kullu and Lahaul).

Osmylus naevius Navás, 1912e: 184 . Type Locality: India (Sikkim).

Indian distribution: Himachal Pradesh: Kullu Dist.: Great Himalayan National Park (reserve); Kullu [Kulu] (town); Lahaul & Spiti Dist.: Lahaul [Lahoul] (valley); Ladakh: Kargil Dist.: Sanjak (village); Sikkim: [no further locality]; Uttarakhand: Chamoli Dist.: Chamoli (town); Ghangaria [Ghangria] (village); Palwara [Pavelor] (village) (Needham 1909: 209; Navás 1912e: 185; Ghosh & Sen 1977: 285; Ghosh 1983b: 292; Ghosh 2000a: 36; Kaur et al. 2019c: 396; Winterton et al. 2019: 41).

World distribution: India (Needham 1909: 209; Oswald 2024a).