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

Next ⟩ df-risefac

Metamath Proof Explorer

Ascii
Unicode

Syntax definition crisefac

Description: Declare the syntax for the rising factorial.

		Ref	Expression
	Assertion	crisefac	$class RiseFac$