Theorem: continuous_circleMap_full (Ray/Hartogs/FubiniBall.lean)

State before:
c : ℂ
⊢ Continuous fun x => circleMap c x.1 x.2
Tactic:
continuity
State after:
no goals