Revision #2187 → #2884 · back to history
f2509f60b91ae18fab3422ade90302fc3db8| Field | From #2187 | To #2884 |
|---|---|---|
| note | `Real.goldenRatio_mul_fib_succ_add_fib` proves `φ^(n+1) = φ · fib(n+1) + fib n`, expressing powers of φ as linear combinations with Fibonacci coefficients. | `Real.goldenRatio_mul_fib_succ_add_fib` proves `φ · fib(n+1) + fib n = φ^(n+1)`, expressing powers of φ as linear combinations with Fibonacci coefficients. |
f7f50992fbbc