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