Metamath Proof Explorer


Syntax definition cfldgen

Description: Syntax for a function generating sub-fields.

Ref Expression
Assertion cfldgen Could not format assertion : No typesetting found for class fldGen with typecode class