Polar decomposition theorem

Summary