Theorem UpperHalfPlane.im_smul_eq_div_normSq

Modification history