Database
ELEMENTARY NUMBER THEORY
Elementary prime number theory
Van der Waerden's theorem
cvdwa

Next ⟩ cvdwm

Metamath Proof Explorer

Unicode
Structured

Syntax definition cvdwa

Description: The arithmetic progression function.

		Ref	Expression
	Assertion	cvdwa	class AP