Syntax definition cvdwp

Description: The polychromatic arithmetic progression predicate.

	Ref	Expression
Assertion	cvdwp	$$class\mathrm{PolyAP}$$