Database
BASIC REAL AND COMPLEX ANALYSIS
Derivatives
Real and complex differentiation
Derivatives of functions of one complex or real variable
climc
Next ⟩
cdv
Metamath Proof Explorer
Unicode
Structured
Syntax definition
climc
Description:
The limit operator.
Ref
Expression
Assertion
climc
class limCC