Therochelonia is a group of dicynodont therapsids. The group was named by British paleontologist Harry Seeley in 1894 and fell into disuse in the following century. Therochelonia was redefined as a no

Cryptodontia is a group of dicynodont therapsids that includes the families Geikiidae, Oudenodontidae, and Rhachiocephalidae. It was first named in 1860 by English paleontologist Richard Owen. Owen in