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