Theorem UpperHalfPlane.subgroup_on_glpos_smul_apply

Modification history