Definition:Lucas Prime

Definition
A Lucas prime is a Lucas number which happens to be prime.