Lucas polynomials

Summary