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 Tayl$