Theorem UpperHalfPlane.norm_qParam_lt_one

Modification history