Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Mario Carneiro
Splitting fields
csf

Next ⟩ cpsl

Metamath Proof Explorer

Ascii
Unicode

Syntax definition csf

Description: Splitting field for a finite set of polynomials.

		Ref	Expression
	Assertion	csf	$class splitFld$