According to this: https://en.m.wikipedia.org/wiki/History_of_lions_in_Europe you have to go back to Ancient Greek and Roman times to find lions in Europe. But also states some species went extinct in early Holocene 11K years ago after end of the last glacial period.