Syntax definition cvdwp

Description: The polychromatic arithmetic progression predicate.

	Ref	Expression
Assertion	cvdwp	class PolyAP