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