Database
BASIC ALGEBRAIC STRUCTURES
Division rings and fields
Definition and basic properties
cfield
Next ⟩
df-drng
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cfield
Description:
Class of fields.
Ref
Expression
Assertion
cfield
class
Field