Metamath Proof Explorer


Syntax definition crisefac

Description: Declare the syntax for the rising factorial.

Ref Expression
Assertion crisefac class RiseFac