Metamath Proof Explorer


Syntax definition cfib

Description: The Fibonacci sequence.

Ref Expression
Assertion cfib class Fibci