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