Formalization of complex analysis and matrix theory. (2020)