Metamath Proof Explorer


Syntax definition cana

Description: The class of analytic functions.

Ref Expression
Assertion cana class Ana