Himalmartensus ausobskyiHimalmartensus ausobskyi is a taxon classified at the rank of species, placed within Himalmartensus.