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