Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Field Extensions
cextdg
Next ⟩
df-fldext
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cextdg
Description:
Syntax for the field extension degree operation.
Ref
Expression
Assertion
cextdg
class
[:]