Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Field Extensions
cfinext

Next ⟩ calgext

Metamath Proof Explorer

Ascii
Structured

Syntax definition cfinext

Description: Syntax for the finite field extension relation.

		Ref	Expression
	Assertion	cfinext	class /_FinExt