Metamath Proof Explorer


Syntax definition cflf

Description: Extend class definition to include the function for filter-based function limits.

Ref Expression
Assertion cflf class fLimf