cave lion
noun1
An extinct subspecies of lion, Panthera leo spelaea, known from fossils and multiple examples of prehistoric art.
- After the arrival of humans in Europe, cave lions began to decrease in size.2018, Tim Flannery, Europe: The First 100 Million Years, Penguin, published 2019, page 202: