Mathlib

1/4

e^{iθ} is the point at angle θ on the unit circle.