Theorem fib_golden_exp'

Modification history