Title: Formalization of Complex Analysis and Matrix Theory