Theorem UpperHalfPlane.SLOnGLPos_smul_apply

Modification history