Metamath Proof Explorer


Syntax definition cfg

Description: Extend class definition to include the filter generating function.

Ref Expression
Assertion cfg class filGen