The Dicynodontia are a group of therapsids or mammal-like reptiles .
Dicynodontia is a taxon of therapsids or mammal-like reptiles .