WikiLean Articles · Brain · Recent changes · Proposals · Flags · Stats · About

Diff — Fibonacci sequence

Revision #2884 → #3357 · back to history

modifiedFibonacci–Lucas complementary pairf2509f60b91a
FieldFrom #2884To #3357
noteMathlib has neither Lucas sequences nor the Fibonacci–Lucas complementary-pair identity.Mathlib has neither Lucas sequences nor the Fibonacci–Lucas complementary-pair identity (only Lucas–Lehmer primality test).
addedGolden ratio and its conjugate89a8291c72cc
addedIdentity F_{2n} = F_n(2F_{n+1} - F_n)b2bf734db6b0
addedFast doubling identity F_{2n+1}62a77447a63a