Database
BASIC REAL AND COMPLEX FUNCTIONS
Sequences and series
Taylor polynomials and Taylor's theorem
cana
Next ⟩
df-tayl
Metamath Proof Explorer
Unicode
Structured
Syntax definition
cana
Description:
The class of analytic functions.
Ref
Expression
Assertion
cana
class Ana