Theorem Complex.isOpen_re_gt_EReal

Modification history