Database
BASIC REAL AND COMPLEX FUNCTIONS
Sequences and series
Taylor polynomials and Taylor's theorem
ctayl
Next ⟩
cana
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
ctayl
Description:
Taylor polynomial of a function.
Ref
Expression
Assertion
ctayl
$${class}\mathrm{Tayl}$$