Zhiping Shi

Formalization of Complex Analysis and Matrix Theory