Metamath Proof Explorer


Syntax definition cfcf

Description: Extend class definition to include the function for cluster points of a function.

Ref Expression
Assertion cfcf class fClusf