Database
SUPPLEMENTARY MATERIAL (USERS' MATHBOXES)
Mathbox for Thierry Arnoux
Algebra
Field extensions generated by a set
cfldgen
Next ⟩
df-fldgen
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cfldgen
Description:
Syntax for a function generating sub-fields.
Ref
Expression
Assertion
cfldgen
class fldGen