Syntax definition ccytp

Description: Syntax for the sequence of cyclotomic polynomials.

	Ref	Expression
Assertion	ccytp	$$class\mathrm{CytP}$$