Formalization of Complex Analysis and Matrix Theory