Metamath Proof Explorer

Syntax definition cfinext

Description: Syntax for the finite field extension relation.

Ref Expression
Assertion cfinext 
class /FinExt