Database
BASIC TOPOLOGY
Filters and filter bases
Filter limits
cflim
Next ⟩
cflf
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
cflim
Description:
Extend class notation with a function returning the limit of a filter.
Ref
Expression
Assertion
cflim
$${class}\mathrm{fLim}$$