Syntax definition csf1

Description: Splitting field for a single polynomial (auxiliary).

	Ref	Expression
Assertion	csf1	$$class{\mathrm{splitFld}}_1$$