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

Next ⟩ cfinext

Metamath Proof Explorer

Unicode
Structured

Syntax definition cfldext

Description: Syntax for the field extension relation.

		Ref	Expression
	Assertion	cfldext	class /FldExt