csf - Mathbox for Mario Carneiro

	Mathbox for Mario Carneiro		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > csf		Structured version Visualization version GIF version

Syntax Definition csf 30782

Description: Splitting field for a finite set of polynomials.

**Assertion**
Ref	Expression
csf	class splitFld

See definition df-sfl 30790 for more information.

Colors of variables: wff setvar class