Metamath Proof Explorer


Syntax definition cpsl

Description: Splitting field for a sequence of polynomials.

Ref Expression
Assertion cpsl
class polySplitLim