Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Scott Fenton
Forward difference
cfwddif
Next ⟩
df-fwddif
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cfwddif
Description:
Declare the syntax for the forward difference operator.
Ref
Expression
Assertion
cfwddif
class
△