Syntax definition cpsl

Description: Splitting field for a sequence of polynomials.

	Ref	Expression
Assertion	cpsl	$$class\mathrm{polySplitLim}$$