Metamath Proof Explorer

Syntax definition crisefac

Description: Declare the syntax for the rising factorial.

Ref Expression
Assertion crisefac class RiseFac