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