Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Field Extensions
cfldext
Next ⟩
cfinext
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cfldext
Description:
Syntax for the field extension relation.
Ref
Expression
Assertion
cfldext
class
/
FldExt