Theorem Real.fib_succ_sub_goldenRatio_mul_fib

Modification history