Theorem Nat.lt_fib_greatestFib_add_one

Modification history