Metamath Proof Explorer

Syntax definition csf1

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

Ref Expression
Assertion csf1 
class splitFld1