Database
BASIC TOPOLOGY
Filters and filter bases
Filter limits
cfm
Next ⟩
cflim
Metamath Proof Explorer
Ascii
Structured
Syntax definition
cfm
Description:
Extend class definition to include the neighborhood filter mapping function.
Ref
Expression
Assertion
cfm
class
FilMap