Formalization of Complex Analysis and Matrix Theory - Shi, Zhiping | Kaicus Deutschland