Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Algebra
Field extensions generated by a set
cfldgen
Next ⟩
df-fldgen
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cfldgen
Description:
Syntax for a function generating sub-fields.
Ref
Expression
Assertion
cfldgen
Could not format assertion : No typesetting found for class fldGen with typecode class