Theorem Nat.fib_two_mul_add_two

Modification history