Formalization of Complex Analysis and Matrix Theoryby Zhiping Shi, Yong Guan, Ximeng LiWriting a summary for young readers…For young readersBook data: Open Library