Metamath Proof Explorer

Table of Contents - 5.11.1.142. The circle constant (tau = 2 pi)

1. ctau
2. df-tau