Metamath Proof Explorer


Syntax definition ctayl

Description: Taylor polynomial of a function.

Ref Expression
Assertion ctayl class Tayl