Syntax definition cfinext

Description: Syntax for the finite field extension relation.

	Ref	Expression
Assertion	cfinext	$$class{/}_{\mathrm{FinExt}}$$