Metamath Proof Explorer


Syntax definition cpfl

Description: Polynomial extension field.

Ref Expression
Assertion cpfl class polyFld