Formalization of Complex Analysis and Matrix Theory - Shi (Springer Singapore, 2020)