Formalization of Complex Analysis and Matrix Theory - Shi, Zhiping; Guan, Yong; Li, Ximeng (Springer Singapore, 2020)