Database
BASIC TOPOLOGY
Filters and filter bases
Filter limits
cfcls
Next ⟩
cfcf
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cfcls
Description:
Extend class definition to include the cluster point function on filters.
Ref
Expression
Assertion
cfcls
class
fClus