Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Fibonacci Numbers
cfib
Next ⟩
df-fib
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cfib
Description:
The Fibonacci sequence.
Ref
Expression
Assertion
cfib
class
Fibci