Theorem Nat.fib_lt_fib

Modification history