Syntax definition cfib

Description: The Fibonacci sequence.

	Ref	Expression
Assertion	cfib	$$class\mathrm{Fibci}$$