Binet's formula for Lucas numbers

GPTKB entity