Theorem UpperHalfPlane.re_smul

Modification history