Metamath Proof Explorer


Syntax definition cfm

Description: Extend class definition to include the neighborhood filter mapping function.

Ref Expression
Assertion cfm class FilMap