Database
REAL AND COMPLEX NUMBERS
Elementary trigonometry
The exponential, sine, and cosine functions
The circle constant (tau = 2 pi)
ctau
Next ⟩
df-tau
Metamath Proof Explorer
Ascii
Unicode
Syntax definition
ctau
Description:
Extend class notation to include the constant tau,
_tau
= 6.28318....
Ref
Expression
Assertion
ctau
class
τ