Theorem Real.goldenRatio_mul_fib_succ_add_fib

Modification history