Database
REAL AND COMPLEX NUMBERS
Elementary limits and convergence
Falling and Rising Factorial
cfallfac
Next ⟩
crisefac
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cfallfac
Description:
Declare the syntax for the falling factorial.
Ref
Expression
Assertion
cfallfac
class FallFac