Metamath Proof Explorer


Syntax definition cfcls

Description: Extend class definition to include the cluster point function on filters.

Ref Expression
Assertion cfcls class fClus