Tyrannochthonius centralis Beier, 1931
Species
Tridenchthonius mexicanus Chamberlin and R.V. Chamberlin, 1945
Tyrannochthonius centralis Beier, 1931
Species