Librarium
Settings

Proofing a Sum of the Fibonacci Sequence Without Induction