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

Next ⟩ csf1

Metamath Proof Explorer

Ascii
Unicode

Syntax definition cpfl

Description: Polynomial extension field.

		Ref	Expression
	Assertion	cpfl	$class polyFld$