Metamath Proof Explorer

Syntax definition cfield

Description: Class of fields.

Ref Expression
Assertion cfield 
class Field