csf1 - Mathbox for Mario Carneiro

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

Syntax Definition csf1 31527

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

**Assertion**
Ref	Expression
csf1	class splitFld₁

See definition df-sfl1 31535 for more information.

Colors of variables: wff setvar class