Metamath Proof Explorer


Syntax definition cfield

Description: Class of fields.

Ref Expression
Assertion cfield class Field