Database
REAL AND COMPLEX NUMBERS
Elementary limits and convergence
Falling and Rising Factorial
cfallfac

Next ⟩ crisefac

Metamath Proof Explorer

Ascii
Structured

Syntax definition cfallfac

Description: Declare the syntax for the falling factorial.

		Ref	Expression
	Assertion	cfallfac	class FallFac