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