cinftyexpitau - Mathbox for BJ

	Mathbox for BJ		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > cinftyexpitau		Structured version Visualization version GIF version

Syntax Definition cinftyexpitau 35369

Description: Syntax for the function +∞e^iτ parameterizing ℂ_∞.

**Assertion**
Ref	Expression
cinftyexpitau	class +∞e^iτ

See definition df-bj-inftyexpitau 35370 for more information.

Colors of variables: wff setvar class