Database
ELEMENTARY NUMBER THEORY
Elementary prime number theory
Van der Waerden's theorem
cvdwm
Next ⟩
cvdwp
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cvdwm
Description:
The monochromatic arithmetic progression predicate.
Ref
Expression
Assertion
cvdwm
class
MonoAP