noun

• extinct mammal-like reptiles found inhabiting all continents from the mid permian to late triassic