Metamath Proof Explorer


Syntax definition cvdwa

Description: The arithmetic progression function.

Ref Expression
Assertion cvdwa
class AP