Metamath Proof Explorer


Syntax definition cfldgen

Description: Syntax for a function generating sub-fields.

Ref Expression
Assertion cfldgen
class fldGen