Mathlib

Draw 1 on the real axis. Multiplying by i is a quarter-turn counterclockwise.