Lie Groups Beyond an Introduction
《Lie Groups Beyond an Introduction》 · 印刷第 95 页 Chapter I Section 12「Complex Structures」，Proposition 1.110 前的定义句
A complex Lie group is a Lie group $G$ possessing a complex analytic structure such that multiplication and inversion are holomorphic.