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