Database
REAL AND COMPLEX NUMBERS
Elementary trigonometry
The exponential, sine, and cosine functions
The circle constant (tau = 2 pi)
Next ⟩
ctau
Metamath Proof Explorer
Ascii
Unicode
Table of Contents - 5.11.1.141. The circle constant (tau = 2 pi)
ctau
df-tau