prefer ephemeral interpretation over interpretation in proof contexts;
prefer context begin ... end blocks for often-occuring assumptions;
slightly more complete interpretations into abstract algebraic structures for gcd/lcm
header {* Comprehensive Complex Theory *}
theory Complex_Main
imports
Main
Real
Complex
Transcendental
Taylor
Deriv
begin
end