Trigonometric form of complex numbers (0)

by Robert Milewski
Venue:Formalized Mathematics