Metamath Proof Explorer


Syntax definition cvdwp

Description: The polychromatic arithmetic progression predicate.

Ref Expression
Assertion cvdwp
class PolyAP