Theorem: ℤω.my_map_zero (Mordell4/Eisenstein.lean)

State before:
a b c : ℤω
⊢ toℂ zero = 0
Tactic:
simp [toℂ, zero]
State after:
no goals