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