Theorem UpperHalfPlane.denom_apply

Modification history