Theorem UpperHalfPlane.c_mul_im_sq_le_normSq_denom

Modification history