This book discusses the formalization of mathematical theories centering on complex analysis a...