Metamath Proof Explorer


Syntax definition cvdwm

Description: The monochromatic arithmetic progression predicate.

Ref Expression
Assertion cvdwm
class MonoAP