header {* Comprehensive Complex Theory *} theory Complex_Main imports Main Real Complex Log Ln Taylor Integration "Library/Quickcheck" begin end