Theorem UpperHalfPlane.contMDiff_denom_zpow

Modification history