Database
BASIC TOPOLOGY
Filters and filter bases
Filter limits
cflf
Next ⟩
cfcls
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cflf
Description:
Extend class definition to include the function for filter-based function limits.
Ref
Expression
Assertion
cflf
class
fLimf