ccosh - Mathbox for David A. Wheeler

	Mathbox for David A. Wheeler		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > ccosh		Structured version Visualization version GIF version

Syntax Definition ccosh 42271

Description: Extend class notation to include the hyperbolic cosine function. see df-cosh 42274.

**Assertion**
Ref	Expression
ccosh	class cosh

See definition df-cosh 42274 for more information.

Colors of variables: wff setvar class