Theorem: ℤα.my_map_zero (Mordell4/Rt7Ring.lean)

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