Syntax definition cvdwm

Description: The monochromatic arithmetic progression predicate.

	Ref	Expression
Assertion	cvdwm	$$class\mathrm{MonoAP}$$