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