Ximeng Li

• Formalization of Complex Analysis and Matrix Theory