Theorem fib_golden_conj_exp

Modification history