ctau - Intuitionistic Logic Explorer

	Intuitionistic Logic Explorer		< Previous Next > Nearby theorems
Mirrors > Home > ILE Home > Th. List > ctau		GIF version

Syntax Definition ctau 11711

Description: Extend class notation to include the constant tau, τ = 6.28318....

**Assertion**
Ref	Expression
ctau	class τ

See definition df-tau 11712 for more information.

Colors of variables: wff set class