mathlib3

feat(*): polar co-ordinates, de moivre, trig identities, quotient group for angles

#745

Merged