Metamath Proof Explorer


Syntax definition csf

Description: Splitting field for a finite set of polynomials.

Ref Expression
Assertion csf class splitFld