Theorem UpperHalfPlane.normSq_denom_pos

Modification history