Theorem UpperHalfPlane.im_smul

Modification history