ctau - Mathbox for Jim Kingdon

	Mathbox for Jim Kingdon		< Previous Next > Nearby theorems
Mirrors > Home > MPE Home > Th. List > Mathboxes > ctau		Structured version Visualization version GIF version

Syntax Definition ctau 32340

Description: Extend class notation to include tau = 6.283185....

**Assertion**
Ref	Expression
ctau	class τ

See definition df-tau 32341 for more information.

Colors of variables: wff setvar class